Explore projects
-
Hansen, Nils / wasmbench for sturdy.scala
MIT LicenseUpdated -
upstream for Zentrales Rep und Abgabe Rep
Updated -
PLMZ / truediff
MIT LicenseFast and precise tree diffing for concise and safe tree changesets.
Updated -
Pinkernell, Niklas Valerian / swam
Apache License 2.0Updated -
PLMZ / External / swam
Apache License 2.0Updated -
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Pihaule, Jan André / sturdy.scala
MIT LicenseUpdated -
Cardaci, Andrea / sturdy.scala
MIT LicenseUpdated -
Liese, Felix / sturdy.scala
MIT LicenseFork of https://gitlab.rlp.net/plmz/sturdy.scala to develop Products and Reduced Products for static program analysis.
Updated -
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
PLMZ / sturdy.scala
MIT LicenseUpdated -
Marx, Stefan / miniJava in Sturdy
MIT LicenseUpdated -
Marx, Stefan / JVM Bytecode in sturdy.scala
MIT LicenseWorking project to implement a JVM Bytecode Interpreter in sturdy using OPAL
Updated -
Izunagbara, Michal Ikenna / inca-scala
MIT LicenseUpdated -
Updated