leonardoalt/yools

Что делает

leonardoalt/yools — публичный репозиторий GitHub, основной язык — SMT. Последняя запись сообщает 140 звёзд и 5 форков. Темы: ethereum, evm, formal verification, hacktoberfest, solidity, yul. Перед использованием прочитай документацию, лицензию и текущие issues.

Tools for Yul.

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

Звёзды

140

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

—

Форки

5

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

SMT

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

GPL-3.0

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

29 мар. 2023 г.

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

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

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