Property probe implementation.
This project has moved to GitHub: https://github.com/lu-cs-sde/codeprober/
Implementation of the Brainy paper in Java
A faster Earley parser implementation
A clone of the ExtendJ project (https://bitbucket.org/extendj/extendj/src/master/) with changes required by MetaDL.
EDAF20 Example exam scaffolding
Java2Hardware / compiling java bytecode sequences to hardware - BSV code used to generate Verilog. Uses older BSV compiler. Transferred from a previous SVN repository.
An example of how to use Tÿcho as a library.