VeraBE/VeriMan

Что делает

VeraBE/VeriMan — публичный репозиторий GitHub, основной язык — Python. Последняя запись сообщает 35 звёзд и 8 форков. Темы: blockchain, ethereum, ltl, monitoring, runtime verification, solidity. Перед использованием прочитай документацию, лицензию и текущие issues.

Analysis tool for Solidity smart contracts. Prototype.

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

Звёзды

35

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

—

Форки

8

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

Python

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

GPL-3.0

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

7 нояб. 2023 г.

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

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

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