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
Certora/SecurityReports
Publiczne repozytorium GitHub.
Do czego służy
Certora/SecurityReports to publiczne repozytorium GitHub. Ostatni zapisany odczyt podaje: gwiazdki — 34, forki — 3. Tematy: blockchain, certora, certora prover, ethereum, formal verification, security audits. Przed użyciem programu przeczytaj dokumentację, licencję i aktualne zgłoszenia problemów.
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
Repozytoria GitHub
- Gwiazdki
- 34
- Przyrost gwiazdek · 7 dni
- —
- Forki
- 3
- Główny język
- Niesprawdzone
- Licencja repozytorium
- Niesprawdzone
- Ostatni push kodu
- 24 sie 2026
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 · 15 paź 2026
Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją.