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