| Imp | The IMP language. |
| Sketching | |
| Interp_util | Support code for writing an interpreter for a functional language. |
| Xinterp_util | Support code for writing an interpreter for a functional-imperative language. |
| Arm | A simple interface to generate ARM assembly. |
| Compiler_util | Support code for writing a simple compiler. |
| Compiler_interp | |
| JavaScript | Parser and printer for JavaScript |
| Compiler_util2 | Support code for writing a simple compiler. |
| ILVM |