Veridise/Eurus

What it does

Veridise/Eurus is a public GitHub repository with Racket as its primary reported language. GitHub reports 48 stars and 3 forks at the latest snapshot. Its topics include defi, ethereum, security, smart-contracts, solidity, symbolic-compilation. Read the repository documentation, license and current issues before using the software.

Precise Attack Synthesis for DeFi Apps

GitHub repositories

Stars

48

Stars gained · 7 days

+0

Forks

3

Primary language

Racket

Repository license

GPL-3.0

Last code push

15 Aug 2022

Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.

Sources & freshness

Imported records link to their sources. An entry is a discovery aid, not an endorsement.