Explore projects
-
Updated
-
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
Solving Inverse Problems with Regularization by Diffusion Models
Updated -
RSiM / Hyperspectral Compression Transformer
MIT LicenseUpdated -
dbta / Optimization / mopeds
MIT LicenseUpdated -
Updated
-
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
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 -
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