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
-
Hansen, Nils / wasmbench for sturdy.scala
MIT LicenseUpdated -
Hauschildt, Sarah / inca-scala
MIT LicenseUpdated -
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
Izunagbara, Michal Ikenna / inca-scala
MIT LicenseUpdated -
Updated
-
Pinkernell, Niklas Valerian / swam
Apache License 2.0Updated