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
kupl/VeriSmart-public
Publiczne repozytorium GitHub, głównie w języku OCaml.
Do czego służy
kupl/VeriSmart-public to publiczne repozytorium GitHub, głównie w języku OCaml. Ostatni zapisany odczyt podaje: gwiazdki — 95, forki — 25. Tematy: blockchain, ethereum, formal verification, program analysis, Smart kontrakty, solidity. Przed użyciem programu przeczytaj dokumentację, licencję i aktualne zgłoszenia problemów.
a safety verifier for Solidity smart contracts
Repozytoria GitHub
- Gwiazdki
- 95
- Przyrost gwiazdek · 7 dni
- +0
- Forki
- 25
- Główny język
- OCaml
- Licencja repozytorium
- Niesprawdzone
- Ostatni push kodu
- 17 sty 2023
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 · 16 paź 2026
Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją.