Explore projects
-
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Marx, Stefan / miniJava in Sturdy
MIT LicenseUpdated -
PLMZ / External / swam
Apache License 2.0Updated -
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 -
Dormann, Mats Oskar / inca-scala
MIT LicenseUpdated -
Updated
-
Updated
-
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
Hansen, Nils / wasmbench for sturdy.scala
MIT LicenseUpdated -
Hauschildt, Sarah / inca-scala
MIT LicenseUpdated -
Izunagbara, Michal Ikenna / inca-scala
MIT LicenseUpdated -
Marx, Stefan / JVM Bytecode in sturdy.scala
MIT LicenseWorking project to implement a JVM Bytecode Interpreter in sturdy using OPAL
Updated -
Updated
-
Pinkernell, Niklas Valerian / swam
Apache License 2.0Updated