Hey There Buddo!

Compositional Datalog on SQL: Relational Algebra of the Environment

A Python CLI for Verifying Assembly

Knuckledragger Analysis Etudes

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

Semi-Automated Assembly Verification in Python using pypcode Semantics

Using Lean like an External SMT Solver from Python

Doing Lean Dirty: Lean as a Jupyter Notebook Replacement

Inequality Union Finds: Baby Steps to Refinement E-graphs

Telescopes Are Tries: A Dependent Type Shellac on SQLite