kupl/VeriSmart-public

Para qué sirve

kupl/VeriSmart-public es un repositorio público GitHub, principalmente en OCaml. El último registro indica 95 estrellas y 25 forks. Temas: blockchain, ethereum, formal verification, program analysis, contratos inteligentes, solidity. Lee documentación, licencia e incidencias actuales antes de usarlo.

a safety verifier for Solidity smart contracts

Repositorios GitHub

Estrellas

95

Estrellas ganadas · 7 días

+0

Forks

25

Lenguaje principal

OCaml

Licencia del repositorio

Sin comprobar

Último envío de código

17 ene 2023

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.