namin

an incremental approach to compiler construction

interactive programming tutorials, powered by Github and Docker

explorations in core.logic

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

Course on Metaprogramming

computer-aided harmony and counterpoint

A Declarative Theorem Prover for First-Order Classical Logic