verse-lab/toychain

À quoi ça sert

verse-lab/toychain est un dépôt GitHub public, principalement en Coq. Le dernier relevé indique 113 étoiles et 12 forks. Sujets : blockchain, consensus, coq, distributed systems. Lis la documentation, la licence et les issues actuelles avant utilisation.

A minimalistic blockchain consensus implemented and verified in Coq

Dépôts GitHub

Étoiles

113

Étoiles gagnées · 7 jours

+0

Forks

12

Langage principal

Coq

Licence du dépôt

BSD-2-Clause

Dernier envoi de code

13 avr. 2020

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.