Veridise/Eurus

À quoi ça sert

Veridise/Eurus est un dépôt GitHub public, principalement en Racket. Le dernier relevé indique 48 étoiles et 3 forks. Sujets : defi, ethereum, sécurité, smart contracts, solidity, symbolic compilation. Lis la documentation, la licence et les issues actuelles avant utilisation.

Precise Attack Synthesis for DeFi Apps

Dépôts GitHub

Étoiles

48

Étoiles gagnées · 7 jours

+0

Forks

3

Langage principal

Racket

Licence du dépôt

GPL-3.0

Dernier envoi de code

15 août 2022

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.