Narzędzia programistyczne i open source✦Profil redakcyjny
btcd
A Bitcoin full-node implementation written in Go.
☆ 6 711 +0 / 7dZobacz wpis
Narzędzia programistyczne i open source
verse-lab/toychain
Publiczne repozytorium GitHub, głównie w języku Coq.
Do czego służy
verse-lab/toychain to publiczne repozytorium GitHub, głównie w języku Coq. Ostatni zapisany odczyt podaje: gwiazdki — 113, forki — 12. Tematy: blockchain, consensus, coq, distributed systems. Przed użyciem programu przeczytaj dokumentację, licencję i aktualne zgłoszenia problemów.
A minimalistic blockchain consensus implemented and verified in Coq
Repozytoria GitHub
- Gwiazdki
- 113
- Przyrost gwiazdek · 7 dni
- —
- Forki
- 12
- Główny język
- Coq
- Licencja repozytorium
- BSD-2-Clause
- Ostatni push kodu
- 13 kwi 2020
Popularność według gwiazdek GitHub. Wzrost 7-dniowy wymaga tygodnia lokalnych zapisów. To nie oficjalny ranking trendów GitHub.
Źródła i aktualność
GitHub ↗Źródło odświeżono · 14 paź 2026
Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją.