karelpeeters
- Karma
- 188
- Created
- 4 years ago
About
https://github.com/KarelPeeters/Recent Submissions
- 1. ▲ Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
- 2. ▲ I've been writing ring buffers wrong all these years (2016) (snellman.net)