galapago
- Karma
- 4,210
- Created
- 14 years ago
Recent Submissions
- 1. ▲ Wing Commander 2 source reconstruction and SDL2 port (github.com)
- 2. ▲ *Rats!* (1994) source code reconstruction using Qwen 3.8 (github.com)
- 3. ▲ Wing Commander 1 source reconstruction (github.com)
- 4. ▲ Adventures in Automated Smart Contract Testing: A Spark Is Born (gustavo-grieco.github.io)
- 5. ▲ Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (github.com)
- 6. ▲ Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com)
- 7. ▲ Who Has Security? A list of blockchain companies with in-house security (whohassecurity.com)
- 8. ▲ Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)
- 9. ▲ Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
- 10. ▲ Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io)