Veridise/Eurus

Para qué sirve

Veridise/Eurus es un repositorio público GitHub, principalmente en Racket. El último registro indica 48 estrellas y 3 forks. Temas: defi, ethereum, seguridad, contratos inteligentes, solidity, symbolic compilation. Lee documentación, licencia e incidencias actuales antes de usarlo.

Precise Attack Synthesis for DeFi Apps

Repositorios GitHub

Estrellas

48

Estrellas ganadas · 7 días

+0

Forks

3

Lenguaje principal

Racket

Licencia del repositorio

GPL-3.0

Último envío de código

15 ago 2022

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.