Explore projects

Fork of https://github.com/cs-au-dk/TIP

Working project to implement a JVM Bytecode Interpreter in sturdy using OPAL

Fork of https://gitlab.rlp.net/plmz/sturdy.scala to develop Products and Reduced Products for static program analysis.

Fast and precise tree diffing for concise and safe tree changesets.