Explore projects
-
KITeGG / Public / Making Nonsense
MIT LicenseUpdated -
Hanke, Severin / Openwalnut Core
GNU General Public License v3.0 onlyCore of the OpenWalnut framework with some common modules.
OpenWalnut is an open source tool for multi-modal data visualization. For more information see our wiki
Updated -
OpenWalnut / Openwalnut Core
GNU General Public License v3.0 onlyCore of the OpenWalnut framework with some common modules.
OpenWalnut is an open source tool for multi-modal data visualization. For more information see our wiki
Updated -
Updated
-
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 -
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Marx, Stefan / JVM Bytecode in sturdy.scala
MIT LicenseWorking project to implement a JVM Bytecode Interpreter in sturdy using OPAL
Updated -
Pihaule, Jan André / sturdy.scala
MIT LicenseUpdated -
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
Kaya, Tunahan / Lustre-2.12.6-SecProt
GNU General Public License v2.0 or laterUpdated -
Updated
-
Motion Bank / Tools / RCTO
BSD Zero Clause LicenseUpdated