verse-lab/toychain

Para qué sirve

verse-lab/toychain es un repositorio público GitHub, principalmente en Coq. El último registro indica 113 estrellas y 12 forks. Temas: blockchain, consensus, coq, distributed systems. Lee documentación, licencia e incidencias actuales antes de usarlo.

A minimalistic blockchain consensus implemented and verified in Coq

Repositorios GitHub

Estrellas

113

Estrellas ganadas · 7 días

—

Forks

12

Lenguaje principal

Coq

Licencia del repositorio

BSD-2-Clause

Último envío de código

13 abr 2020

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

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.