Explore projects
-
sources for the oscilloscope-device-server
Updated -
Kreucher, Jannik Kim / eeprom-programmer
MIT LicenseUpdated -
Cardaci, Andrea / sturdy.scala
MIT LicenseUpdated -
Updated
-
Parallel and Distributed Architectures / Faster Segmented Sort on GPUs
GNU Lesser General Public License v2.1 onlyUpdated -
Motion Bank / Tools / RCTO
BSD Zero Clause LicenseUpdated -
Updated
-
Kaya, Tunahan / Lustre-2.12.6-SecProt
GNU General Public License v2.0 or laterUpdated -
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
Pihaule, Jan André / sturdy.scala
MIT LicenseUpdated -
Marx, Stefan / JVM Bytecode in sturdy.scala
MIT LicenseWorking project to implement a JVM Bytecode Interpreter in sturdy using OPAL
Updated -
Weninger, Georg / sturdy.scala with arrays
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 -
Updated