Veridise/Eurus

Для чого це

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

Precise Attack Synthesis for DeFi Apps

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

Зірки

48

Нові зірки · 7 днів

+0

Форки

3

Основна мова

Racket

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

GPL-3.0

Останнє надсилання коду

15 серп. 2022 р.

Популярність за зірками GitHub. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.

Джерела й актуальність

Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.