Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Eurus | 31 | 2 years ago | gpl-3.0 | Racket | ||||||
Precise Attack Synthesis for DeFi Apps | ||||||||||
Elijah Openstack | 25 | 5 years ago | 10 | apache-2.0 | Python | |||||
Elijah OpenStack integration | ||||||||||
__archived__medjai | 16 | 2 years ago | n,ull | gpl-3.0 | Racket | |||||
A Symbolic Execution Tool for Cairo | ||||||||||
Medjai | 11 | 2 years ago | n,ull | mit | Racket | |||||
A Symbolic Execution Tool for Cairo | ||||||||||
Attackersynthesis | 7 | 2 years ago | mit | Python | ||||||
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis |