Explore projects
-
toki / applications / minimal
BSD with attributionUpdated -
Updated
-
toki / doc
OtherUpdated -
The chaincode used by Evidentia project in a Hyperledger Fabric Network.
Updated -
Bonus assisgnments for the Advanced Practical Course - Blockchain technology for public sector innovation (IN2106, IN4212) at TUM.
Updated -
toki / build-systems / yocto / meta-toki-xilinx-apps
BSD with attributionUpdated -
toki / build-systems / yocto / meta-toki-apps
BSD with attributionUpdated -
Updated
-
fortissimo Demonstrators / fortissimo Simulation
GNU General Public License v3.0 or laterSimulation of the FF1 rovers based on ROS, Gazebo and the FMI standard.
Updated -
toki / hardware / zcu102-zynqmp / plain-tracing
BSD with attributionUpdated -
etb2 / ETB2
GNU General Public License v3.0 or laterUpdated -
Alexander Diewald / kernel
Apache License 2.0Updated -
Updated
-
GuideForce / AbstractTransformation
MIT LicenseImplementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)
Updated -
-
fortissimo Demonstrators / fortissimo Models
GNU General Public License v3.0 or laterAutoFOCUS 3 and OpenModelica models of the FF1 rovers.
Updated