Інструменти розробника й відкритий код✦Редакційний профіль
btcd
A Bitcoin full-node implementation written in Go.
☆ 6 711 +0 / 7dПереглянути запис
Інструменти розробника й відкритий код
Certora/SecurityReports
Публічний репозиторій GitHub.
Для чого це
Certora/SecurityReports — публічний репозиторій GitHub. Останній збережений знімок містить такі показники: зірки — 34, форки — 3. Теми: blockchain, certora, certora prover, ethereum, formal verification, security audits. Перед використанням програми прочитай документацію, ліцензію та поточні повідомлення про проблеми.
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.
Репозиторії GitHub
- Зірки
- 34
- Нові зірки · 7 днів
- —
- Форки
- 3
- Основна мова
- Не перевірено
- Ліцензія репозиторію
- Не перевірено
- Останнє надсилання коду
- 24 серп. 2026 р.
Популярність за зірками GitHub. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.
Джерела й актуальність
GitHub ↗Джерело оновлено · 15 жовт. 2026 р.
Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.