anoma/typhon

O que faz

anoma/typhon é um repositório público GitHub, principalmente em TLA. O último registro informa 30 estrelas e 5 forks. Temas: blockchain, consensus, distributed systems, heterogeneous paxos, paxos. Leia documentação, licença e issues atuais antes de usar.

Formalization of Typhon protocol

Repositórios GitHub

Estrelas

30

Estrelas ganhas · 7 dias

+0

Forks

5

Linguagem principal

TLA

Licença do repositório

GPL-3.0

Último envio de código

20 de dez. de 2024

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.