Veridise/Eurus

Что делает

Veridise/Eurus — публичный репозиторий GitHub, основной язык — Racket. Последняя запись сообщает 48 звёзд и 3 форков. Темы: defi, ethereum, безопасность, смарт-контракты, solidity, symbolic compilation. Перед использованием прочитай документацию, лицензию и текущие issues.

Precise Attack Synthesis for DeFi Apps

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

Звёзды

48

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

+0

Форки

3

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

Racket

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

GPL-3.0

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

15 авг. 2022 г.

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

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

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