Explore projects

Property probe implementation. This project has moved to GitHub: https://github.com/lu-cs-sde/codeprober/

Implementation of the Brainy paper in Java

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.

Meta-Datalog

GUI and network examples in Java