kupl/VeriSmart-public

O que faz

kupl/VeriSmart-public é um repositório público GitHub, principalmente em OCaml. O último registro informa 95 estrelas e 25 forks. Temas: blockchain, ethereum, formal verification, program analysis, contratos inteligentes, solidity. Leia documentação, licença e issues atuais antes de usar.

a safety verifier for Solidity smart contracts

Repositórios GitHub

Estrelas

95

Estrelas ganhas · 7 dias

+0

Forks

25

Linguagem principal

OCaml

Licença do repositório

Não verificado

Último envio de código

17 de jan. de 2023

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.