This is your work, valued
Seattle, WA
2024-marktoberdorf-egglog. Mini egglog in Python
10crosscut. Standard ML
3algorithmic-software-verification. Course Materials for Graduate Class on Algorithmic Software Verification
1clip.
1spark. HTML5 music player
1vapor.cab. vapor.cab
1boxer. punch card programming
1dotfiles. configurations
1pec. OCaml
1 views searches