Explore projects
-
Marx, Stefan / JVM Bytecode in sturdy.scala
MIT LicenseWorking project to implement a JVM Bytecode Interpreter in sturdy using OPAL
Updated -
PLMZ / inca-scala
MIT LicenseUpdated -
PLMZ / sturdy.scala
MIT LicenseUpdated -
Hauschildt, Sarah / inca-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 -
Pinkernell, Niklas Valerian / swam
Apache License 2.0Updated -
Izunagbara, Michal Ikenna / inca-scala
MIT LicenseUpdated -
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Pihaule, Jan André / sturdy.scala
MIT LicenseUpdated -
Dormann, Mats Oskar / inca-scala
MIT LicenseUpdated -
Zinkel, Marcel Robin Hendrik / chat-sql
MIT LicenseUpdated -
PLMZ / truediff
MIT LicenseFast and precise tree diffing for concise and safe tree changesets.
Updated -
Leilich, Lisa Maria / inca-scala
MIT LicenseUpdated