Veridise/Eurus

Ne işe yarar

Veridise/Eurus, herkese açık bir GitHub deposudur, ana dili Racket. Kaydedilen son anlık görüntüde 48 yıldız ve 3 fork bulunuyor. Konular: defi, ethereum, güvenlik, Akıllı sözleşmeler, solidity, symbolic compilation. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.

Precise Attack Synthesis for DeFi Apps

GitHub depoları

Yıldız

48

Kazanılan yıldız · 7 gün

+0

Çatal

3

Ana dil

Racket

Depo lisansı

GPL-3.0

Son kod gönderimi

15 Ağu 2022

Popülerlik GitHub yıldızlarına göre. 7 günlük büyüme tam haftalık yerel kayıt sonrası görünür. Bu resmî GitHub trend listesi değildir.

Kaynaklar ve güncellik

İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.