| user: | philzook |
| created: | September 19, 2017 |
| karma: | 941 |
| about: | Website: https://www.philipzucker.com Twitter: https://twitter.com/SandMouth |
| 1. | Compositional Datalog on SQL: Relational Algebra of the Environment(philipzucker.com) |
| 2. | A Python CLI for Verifying Assembly(philipzucker.com) |
| 3. | A Python Frozenset Interpretation of Dependent Type Theory(philipzucker.com) |
| 4. | |
| 5. | A Small Prolog on the Z3 AST(philipzucker.com) |
| 6. | Symbolic Execution by Overloading __bool__(philipzucker.com) |