GitHub repository: HarvardPL/dminor-in-formulog
Primary language: Java
Description: A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.