Veridise/Eurus

Was du damit machen kannst

Veridise/Eurus ist ein öffentliches GitHub-Repository mit Racket als angegebener Hauptprogrammiersprache. Der letzte gespeicherte Stand meldet 48 Sterne und 3 Forks. Themen: defi, ethereum, Sicherheit, Smart Contracts, solidity, symbolic compilation. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.

Precise Attack Synthesis for DeFi Apps

GitHub-Repositories

Sterne

48

Neue Sterne · 7 Tage

+0

Forks

3

Hauptprogrammiersprache

Racket

Repository-Lizenz

GPL-3.0

Letzter Code-Push

15. Aug. 2022

Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.

Quellen & Aktualität

Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.