Ontwikkelaarstools en open source✦Redactioneel profiel
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dVermelding bekijken
Ontwikkelaarstools en open source
verse-lab/toychain
Openbare GitHub-repository, voornamelijk in Coq.
Wat het doet
verse-lab/toychain is een openbare GitHub-repository, voornamelijk in Coq. De laatst opgeslagen momentopname vermeldt 113 sterren en 12 forks. Onderwerpen: blockchain, consensus, coq, distributed systems. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.
A minimalistic blockchain consensus implemented and verified in Coq
GitHub-repositories
- Sterren
- 113
- Sterren erbij · 7 dagen
- +0
- Forks
- 12
- Hoofdtaal
- Coq
- Repositorylicentie
- BSD-2-Clause
- Laatste codepush
- 13 apr. 2020
Populariteit volgt GitHub-sterren. Groei over 7 dagen vereist een volle week lokale metingen. Dit is geen officiële GitHub-trendlijst.
Bronnen en actualiteit
GitHub ↗Bron vernieuwd · 16 okt. 2026
Importvermeldingen linken naar hun bron. Een vermelding helpt ontdekken, maar is geen aanbeveling.