Explore projects
-
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
-
Updated
-
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
Updated
-
dbta / Optimization / mopeds
MIT LicenseUpdated -
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 -
Lukas Maximilian Klapproth / AlgProc2024_pict
GNU General Public License v2.0 or laterUpdated -
DIMA / ISDA / ISDA Streaming
Apache License 2.0A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
Ghassen Gaddour / ISDA Streaming
Apache License 2.0A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
UpdatedUpdated
-
Updated
-
RBO / Robotics / PneumaticBox Airserver
BSD 3-Clause "New" or "Revised" LicenseCORE - Airserver process which runs on the pneumaticbox
Updated -
RBO / Robotics / Contact Motion Planning
BSD 2-Clause "Simplified" LicenseARCHIVE - Free space / Contact Motion Planning
Updated -
dbta / Simulation / rotaSim / Linux Exercise
MIT LicenseUpdated