Veridise/Eurus

Wat het doet

Veridise/Eurus is een openbare GitHub-repository, voornamelijk in Racket. De laatst opgeslagen momentopname vermeldt 48 sterren en 3 forks. Onderwerpen: defi, ethereum, beveiliging, Slimme contracten, solidity, symbolic compilation. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.

Precise Attack Synthesis for DeFi Apps

GitHub-repositories

Sterren

48

Sterren erbij · 7 dagen

+0

Forks

3

Hoofdtaal

Racket

Repositorylicentie

GPL-3.0

Laatste codepush

15 aug. 2022

Populariteit volgt GitHub-sterren. Groei over 7 dagen vereist een volle week lokale metingen. Dit is geen officiële GitHub-trendlijst.

Bronnen en actualiteit

Importvermeldingen linken naar hun bron. Een vermelding helpt ontdekken, maar is geen aanbeveling.