kdrag.contrib

A smorgasbord of things that shouldn’t exactly be in stdlib

Modules

absint	Abstract interpretation
cpp
data_modulo	Datastructures with symmetry - Sets - Multisets - Alpha
expr	A pure python implementation of an AST for expressions.
fast	Experiments in C FFI
hoare	Hoare Logic over the python AST.
ir	SSA is Functional Programming by Andrew Appel https://www.cs.princeton.edu/~appel/papers/ssafun.pdf
pcode	Assembly verification via symbolic Ghidra emulator
rust
yosys	Importing verilog to SMT via Yosys