kupl/VeriSmart-public

À quoi ça sert

kupl/VeriSmart-public est un dépôt GitHub public, principalement en OCaml. Le dernier relevé indique 95 étoiles et 25 forks. Sujets : blockchain, ethereum, formal verification, program analysis, smart contracts, solidity. Lis la documentation, la licence et les issues actuelles avant utilisation.

a safety verifier for Solidity smart contracts

Dépôts GitHub

Étoiles

95

Étoiles gagnées · 7 jours

+0

Forks

25

Langage principal

OCaml

Licence du dépôt

Non vérifié

Dernier envoi de code

17 janv. 2023

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.