Veridise/Eurus

A cosa serve

Veridise/Eurus è un repository GitHub pubblico, principalmente in Racket. L'ultimo rilevamento indica 48 stelle e 3 fork. Temi: defi, ethereum, sicurezza, smart contract, solidity, symbolic compilation. Leggi documentazione, licenza e issue attuali prima dell'uso.

Precise Attack Synthesis for DeFi Apps

Repository GitHub

Stelle

48

Stelle ottenute · 7 giorni

—

Fork

3

Linguaggio principale

Racket

Licenza del repository

GPL-3.0

Ultimo invio di codice

15 ago 2022

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.