charmoniumQ / PROBELinks
Provenance/Replay OBservation Engine: record what your processes are doing and replay it later
☆14Updated last week
Alternatives and similar repositories for PROBE
Users that are interested in PROBE are comparing it to the libraries listed below
Sorting:
- A tool that embosses the needed dependencies on the top level executable☆185Updated 2 years ago
- nix+spack = nixpack (spanix?)☆49Updated last week
- A shell for research papers☆195Updated 2 years ago
- Bubble up the correct paths to your shared object libraries in Nix☆54Updated 3 years ago
- high performance computing related nix resources☆95Updated 9 months ago
- a shell resolver? :) (find and resolve shell script dependencies)☆254Updated 3 months ago
- NixOS on the HiFive Unmatched☆100Updated 2 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Portability problems I frequently encounter in projects using CMake☆52Updated 3 years ago
- Minimalistic Typst slides.☆77Updated 2 weeks ago
- Meetup in Bochum for Nix/NixOS users and those who want to become one☆20Updated last year
- Shell into a virtualized linux, with your own tools☆167Updated last week
- ZilchOS Core, a decidedly tiny Nix-based distro to play with☆85Updated 2 years ago
- ☆28Updated this week
- nscd-compatible daemon that proxies lookups, without caching☆71Updated this week
- ☆44Updated 2 years ago
- Install & Run nix without root permissions [maintainer=@Mic92]☆329Updated 2 years ago
- Nix build Scheduler☆11Updated 2 months ago
- Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.☆112Updated last month
- Python-Nix FFI library using the new C API☆58Updated 2 years ago
- Robust Binary Search provides a binary search implementation which is robust against errors during the search.☆44Updated last year
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆214Updated 4 months ago
- The servers configurations of https://dse.in.tum.de/☆44Updated last week
- A package and module for using GNU Guix on Nix(OS).☆44Updated 2 years ago
- NixOS Reproducibility Checker☆98Updated 3 years ago
- Nix flake for linux kernel development (formerly kernel-module-flake)☆168Updated 2 months ago
- Instant Linux kernel development environments via Nix devShells☆34Updated 11 months ago
- Empower typst matrices with dividing lines and color blocks☆23Updated 7 months ago
- Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager☆58Updated 2 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Updated 5 years ago