kupl/VeriSmart-public

A cosa serve

kupl/VeriSmart-public è un repository GitHub pubblico, principalmente in OCaml. L'ultimo rilevamento indica 95 stelle e 25 fork. Temi: blockchain, ethereum, formal verification, program analysis, smart contract, solidity. Leggi documentazione, licenza e issue attuali prima dell'uso.

a safety verifier for Solidity smart contracts

Repository GitHub

Stelle

95

Stelle ottenute · 7 giorni

+0

Fork

25

Linguaggio principale

OCaml

Licenza del repository

Non verificato

Ultimo invio di codice

17 gen 2023

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.