Veridise/Eurus

O que faz

Veridise/Eurus é um repositório público GitHub, principalmente em Racket. O último registro informa 48 estrelas e 3 forks. Temas: defi, ethereum, segurança, contratos inteligentes, solidity, symbolic compilation. Leia documentação, licença e issues atuais antes de usar.

Precise Attack Synthesis for DeFi Apps

Repositórios GitHub

Estrelas

48

Estrelas ganhas · 7 dias

—

Forks

3

Linguagem principal

Racket

Licença do repositório

GPL-3.0

Último envio de código

15 de ago. de 2022

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.