Development a SMT solver-based code generator for specialized processorsrdcu.be·1 pts·richard_shelton·0
Tiny (51 sloc) SQL-like database query interpreter written in Pythongithub.com·1 pts·richard_shelton·0