Propietario · ProvableHQ

ProvableHQ

Repositorios de código abierto monitorizados de ProvableHQ, ordenados por estrellas.

4 repositorios

#1
leo ↗@ProvableHQRust
🦁 El lenguaje de programación Leo. Un lenguaje de programación para aplicaciones de conocimiento cero y verificadas formalmente
★ 4821+0Variación de estrellas de los últimos 7 días
#2
snarkOS ↗@ProvableHQRust
Un sistema operativo descentralizado para aplicaciones ZK
★ 4524-1Variación de estrellas de los últimos 7 días
#3
snarkVM ↗@ProvableHQRust
Una zkVM para computaciones privadas descentralizadas (DPC).
★ 1163+0Variación de estrellas de los últimos 7 días
#4
sdk ↗@ProvableHQTypeScript
SDK de Javascript y Typescript para el desarrollo de aplicaciones de conocimiento cero (Zero-Knowledge)
★ 633+0Variación de estrellas de los últimos 7 días