Explore projects

Tiny Scala library to generate class files for the JVM

DSL in Scala for Constraint Solving with Z3 SMT Solver

Scala library for parsing and printing the SMT-LIB format

Computer language processing

An empty project you can use to play with worksheets.

Stream processing.