Pinned Loading
Repositories
Showing 10 of 165 repositories
- codetracer Public
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
- nixos-modules Public
- reprobuild Public
Reproducible build system with automatic dependency discovery and distributed execution
- io-mon Public
Cross-platform filesystem I/O monitoring library (syscall interpose on nim-stackable-hooks), shared by the CodeTracer test runner and the reprobuild build engine.
- aztec-avm-runtime Public
Browser-capable Aztec AVM runtime: executes public Aztec transactions over a local state, with a differential oracle against the native AVM.
- codetracer-trace-format Public
- codetracer-trace-format-nim Public
CTFS (CodeTracer File System) container format — Nim implementation
Top languages
Loading…
Most used topics
Loading…