Explore projects
-
Cardaci, Andrea / sturdy.scala
MIT LicenseUpdated -
zdvresearch / ghc-8.10.1
BSD 3-Clause "New" or "Revised" LicenseSlightly adapted GHC 8.10.1 release version that is capable of capturing STM commit statistics
Updated -
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Patrick Keller / multi-gpu-suffix-array
MIT LicenseUpdated -
Updated
-
-
Kaya, Tunahan / Lustre-2.12.6-SecProt
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Otte, Dr. Peter-Bernd / compact-slowcontrol
MIT LicenseDoes its job great even on small devices like RaspberryPis for years and billions of data points.
Updated -
Motion Bank / Tools / RCTO
BSD Zero Clause 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 -
This git repository collects programs to run a 1000+ LED model of IceCube DeepCore + Phase 1
Updated -
Updated
-
Kreucher, Jannik Kim / eeprom-programmer
MIT LicenseUpdated