Explore projects
-
Updated
-
TEADAL / Advocate Contracts
MIT LicenseThese are the smart contracts used by advocate and the trust layer of TEADAL.
UpdatedUpdated -
dbta / Optimization / mopeds
MIT LicenseUpdated -
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
Quick reference guide for hms++. Contains information on download, installation, and usage.
Updated -
Updated
-
UpdatedUpdated
-
Updated
-
RBO / Robotics / PneumaticBox Python Client
BSD 3-Clause "New" or "Revised" LicenseCORE - Python library for implementing PneumaticBox clients
The packages provide a convenient interface to the airserver process on the RBO Lab's Pneumaticbox system
Updated -
Updated
-
Updated
-
-
Updated
-
DIMA / ISDA / ISDA Streaming
Apache License 2.0A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
Simulation of the PIM-SM protocol as part of the bachelor thesis at the INET chair.
Updated -
Xinyu Zhang / digit
Creative Commons Attribution Non Commercial 4.0 InternationalUpdated -
EB-HA-latex / DIGIT project
Creative Commons Attribution Non Commercial 4.0 InternationalUpdated