pyDatalog. a datalog implementation in Python
fast_html. Generate HTML conveniently and efficiently in Python
H-Calc. So, you want to write a DSL interpreter...
xmtlib. A grounder for SMT solvers
