Desarrollo y código abierto✦Perfil editorial
btcd
Implementación Go de un nodo completo Bitcoin.
☆ 6.711 +0 / 7dVer ficha
Desarrollo y código abierto
ProofOfKeags/btc-verified
Repositorio público GitHub, principalmente en Lean.
Para qué sirve
ProofOfKeags/btc-verified es un repositorio público GitHub, principalmente en Lean. El último registro indica 26 estrellas y 5 forks. Temas: bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Lee documentación, licencia e incidencias actuales antes de usarlo.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Repositorios GitHub
- Estrellas
- 26
- Estrellas ganadas · 7 días
- —
- Forks
- 5
- Lenguaje principal
- Lean
- Licencia del repositorio
- Apache-2.0
- Último envío de código
- 7 oct 2026
La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.
Fuentes y actualización
GitHub ↗Fuente actualizada · 16 oct 2026
Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.