anoma/typhon

Para qué sirve

anoma/typhon es un repositorio público GitHub, principalmente en TLA. El último registro indica 30 estrellas y 5 forks. Temas: blockchain, consensus, distributed systems, heterogeneous paxos, paxos. Lee documentación, licencia e incidencias actuales antes de usarlo.

Formalization of Typhon protocol

Repositorios GitHub

Estrellas

30

Estrellas ganadas · 7 días

+0

Forks

5

Lenguaje principal

TLA

Licencia del repositorio

GPL-3.0

Último envío de código

20 dic 2024

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.