Veridise/Eurus

Kegunaan

Veridise/Eurus adalah repositori GitHub publik, terutama memakai Racket. Snapshot terakhir yang disimpan mencatat 48 bintang dan 3 fork. Topik: defi, ethereum, keamanan, Kontrak pintar, solidity, symbolic compilation. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.

Precise Attack Synthesis for DeFi Apps

Repositori GitHub

Bintang

48

Bintang bertambah · 7 hari

+0

Fork

3

Bahasa utama

Racket

Lisensi repositori

GPL-3.0

Push kode terakhir

15 Agu 2022

Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.

Sumber & kebaruan data

Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.