Explore projects
-
bioroboticslab / automation / vcpkg-tool
MIT LicenseUpdated -
swp21_biotracker / trex
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
-
Software Project 'Sancus' Low-Cost Security Architecture for IoT Devices
Updated -
Software Project 'Sancus' Low-Cost Security Architecture for IoT Devices
Updated -
A modified version of OpenMPI that makes it possible to swap/permutate ranks of OMPI-processes inside the same job using an external agent connected via Unix domain sockets.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Projekt Telematik SS23 QEMU / risc-v-qemu
GNU Lesser General Public License v2.1 onlyUpdated -
-
zkasmi / RcdMathLib
GNU Lesser General Public License v2.1 onlyRcdMathLib: mathematical library for resource-limited devices. This library can be deployed for devices such as microcontrollers, embedded systems. or full-fledged devices like a PC. Read the RcdMathLib documentation to get started.
Updated -
pberndt / pyradau13
GNU General Public License v3.0 onlyPython wrapper around the RADAU13 solver by Hairer/Wanner
Updated -
petkoa97 / PowerRangers-ImplementingSearch
BSD 3-Clause "New" or "Revised" LicenseUpdated