Repository Showcase
A curated collection of interesting GitHub repositories
ByteDance-Seed/Seed-Prover
System that solved 4 IMO 2025 problems
Related repos
- Code LLM that curates its own training data
- 2048 game with 64 bits of state
- Nexus zkVM for verifiable computation
- Tool for seeding dev databases with production data while masking sensitive info
- Open-source LLM observability platform
- operating system in just 1000 lines of code
- secure file transfers with short codes
- Self-hosted vault for secure personal data tokenization and storage
- VM with security vulnerabilities for testing exploits
- tool for automating PKI, certificates, SSH, and crypto tasks
