Explore projects
-
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
Updated
-
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
Updated -
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Christoph Huy / gpt_neo_lua_fuzz
MIT LicenseUpdated -
TEADAL / Advocate Demo Kubernetes
MIT LicenseUpdated -
Updated
-
This repository contains the code accompanying my thesis "Analyzing Provenance Graphs for Programming Errors". It includes a tool for capturing the provenance information of Python programs and tools and algorithms for identifying one specific error type, incorrect function call sequences, through analyzing these provenance graphs generated during program execution.
Updated -
Solving Inverse Problems with Regularization by Diffusion Models
Updated -
Updated
-
Updated
-
BVT-HTBD / KIWI / TF3 / Raman and NIR
MIT LicenseT3.3. Raman: Implementation of mock signals as spectrophotometer is not there yet M3.3.1. Raman: Implementation of mock signals as spectrophotometer is not there yet T3.4 Sensor calibration: correction of on- and at-line signals for correct measureme
Updated -
TEADAL / Advocate Contracts
MIT LicenseThese are the smart contracts used by advocate and the trust layer of TEADAL.
UpdatedUpdated -
Updated
-
-
Updated
-
Jan Niklas Läpple / Real Time Offloading Distributed Scheduling
GNU General Public License v3.0 or laterUpdatedUpdated