kupl/VeriSmart-public

Что делает

kupl/VeriSmart-public — публичный репозиторий GitHub, основной язык — OCaml. Последняя запись сообщает 95 звёзд и 25 форков. Темы: blockchain, ethereum, formal verification, program analysis, смарт-контракты, solidity. Перед использованием прочитай документацию, лицензию и текущие issues.

a safety verifier for Solidity smart contracts

Репозитории GitHub

Звёзды

95

Прирост звёзд · 7 дней

+0

Форки

25

Основной язык

OCaml

Лицензия репозитория

Не проверено

Последняя отправка кода

17 янв. 2023 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.