verse-lab/toychain

A cosa serve

verse-lab/toychain è un repository GitHub pubblico, principalmente in Coq. L'ultimo rilevamento indica 113 stelle e 12 fork. Temi: blockchain, consensus, coq, distributed systems. Leggi documentazione, licenza e issue attuali prima dell'uso.

A minimalistic blockchain consensus implemented and verified in Coq

Repository GitHub

Stelle

113

Stelle ottenute · 7 giorni

—

Fork

12

Linguaggio principale

Coq

Licenza del repository

BSD-2-Clause

Ultimo invio di codice

13 apr 2020

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.