berkeleynerd
- Karma
- 472
- Created
- 11 years ago
Recent Submissions
- 1. ▲ Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (nlnet.nl)
- 2. ▲ Ada discord server now available (discord.com)
- 3. ▲ No support for debugging Go on OpenBSD (github.com)