Sviluppo e open source✦Scheda editoriale
btcd
Implementazione Go di un nodo completo Bitcoin.
☆ 6.711 +0 / 7dVedi scheda
Sviluppo e open source
AU-COBRA/ConCert
Repository GitHub pubblico, principalmente in Rocq Prover.
A cosa serve
AU-COBRA/ConCert è un repository GitHub pubblico, principalmente in Rocq Prover. L'ultimo rilevamento indica 129 stelle e 22 fork. Temi: blockchain, coq, smart contract, verification. Leggi documentazione, licenza e issue attuali prima dell'uso.
A framework for smart contract verification in Coq
Repository GitHub
- Stelle
- 129
- Stelle ottenute · 7 giorni
- +0
- Fork
- 22
- Linguaggio principale
- Rocq Prover
- Licenza del repository
- MIT
- Ultimo invio di codice
- 25 ago 2026
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
GitHub ↗Fonte aggiornata · 15 ott 2026
Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.