anoma/typhon

À quoi ça sert

anoma/typhon est un dépôt GitHub public, principalement en TLA. Le dernier relevé indique 30 étoiles et 5 forks. Sujets : blockchain, consensus, distributed systems, heterogeneous paxos, paxos. Lis la documentation, la licence et les issues actuelles avant utilisation.

Formalization of Typhon protocol

Dépôts GitHub

Étoiles

30

Étoiles gagnées · 7 jours

+0

Forks

5

Langage principal

TLA

Licence du dépôt

GPL-3.0

Dernier envoi de code

20 déc. 2024

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.