Compositional Datalog on SQL: Relational Algebra of the Environmentphilipzucker.com·47 pts·philzook·3
"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidraphilipzucker.com·2 pts·philzook·0
Copy and Micropatch: Writing Binary Patches in C with Clang Preserve_nonephilipzucker.com·3 pts·philzook·0
Verifying Nand2Tetris Assembly with Constrained Horn Clauses (2021)philipzucker.com·22 pts·philzook·4