Explore projects

JastAdd based compiler that given an XML schema generates a JastAdd frontend for the specific XML dialect.

CS realtime runtime library for Java.

An example of how to use Tÿcho as a library.

GUI and network examples in Java

Meta-Datalog

Java2Hardware / compiling java bytecode sequences to hardware - BSV code used to generate Verilog. Uses older BSV compiler. Transferred from a previous SVN repository.

EDAF20 Example exam scaffolding