Ontwikkelaarstools en open source✦Redactioneel profiel
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dVermelding bekijken
Ontwikkelaarstools en open source
kupl/VeriSmart-public
Openbare GitHub-repository, voornamelijk in OCaml.
Wat het doet
kupl/VeriSmart-public is een openbare GitHub-repository, voornamelijk in OCaml. De laatst opgeslagen momentopname vermeldt 95 sterren en 25 forks. Onderwerpen: blockchain, ethereum, formal verification, program analysis, Slimme contracten, solidity. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.
a safety verifier for Solidity smart contracts
GitHub-repositories
- Sterren
- 95
- Sterren erbij · 7 dagen
- +0
- Forks
- 25
- Hoofdtaal
- OCaml
- Repositorylicentie
- Niet gecontroleerd
- Laatste codepush
- 17 jan. 2023
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.