[zoratu]

1. I improved my calendar management app, which while simple had some edge cases. AI helped me test them all. https://block-it-out.com/

2. Ported my own personal disassembler to Rust, and added a ton of functionality with AI. https://github.com/zoratu/hexray

3. Ported a TLA+ model checker to Rust, improving performance for most models over Java by a huge margin. https://github.com/zoratu/tlaplusplus

4. Created a scheduler in Erlang called FLURM, which is a fault-tolerant version of SLURM and compatible with its wire protocol. https://github.com/zoratu/flurm

5. Not in a public repo, but trading things and a private parallel filesystem.

Edited to add newlines.