Alternatives and similar repositories for PROBE

Users that are interested in PROBE are comparing it to the libraries listed below

• flatironinstitute / nixpack
  nix+spack = nixpack (spanix?)
  ☆49Updated last week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• fzakaria / shrinkwrap
  A tool that embosses the needed dependencies on the top level executable
  ☆185Updated 2 years ago
• freuk / awesome-nix-hpc
  high performance computing related nix resources
  ☆95Updated 9 months ago
• jaywonchung / reason
  A shell for research papers
  ☆195Updated 2 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 7 months ago
• DLR-FT / seL4-nix-utils
  Nix tooling for the seL4 microkernel & ecosystem
  ☆14Updated 2 months ago
• nix-community-bochum / nix-learning-group
  Meetup in Bochum for Nix/NixOS users and those who want to become one
  ☆20Updated last year
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆117Updated 7 months ago
• zhaofengli / nixos-riscv64
  NixOS on the HiFive Unmatched
  ☆100Updated 2 years ago
• fzakaria / nix-harden-needed
  Bubble up the correct paths to your shared object libraries in Nix
  ☆54Updated 3 years ago
• abathur / resholve
  a shell resolver? :) (find and resolve shell script dependencies)
  ☆254Updated 3 months ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• nix-community / nix-user-chroot
  Install & Run nix without root permissions [maintainer=@Mic92]
  ☆329Updated 2 years ago
• TravisWhitaker / nix-quartus
  Nix Expressions for Altera(Intel) Quartus
  ☆17Updated 5 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• edolstra / dwarffs
  A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
  ☆214Updated 4 months ago
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆31Updated last week
• exaexa / werge
  ☆23Updated this week
• archspec / archspec
  A library for detecting, labeling, and reasoning about microarchitectures
  ☆127Updated last week
• vitallium / zed-ltex
  LTeX+ Language Server support for Zed
  ☆15Updated 2 months ago
• ZilchOS / core
  ZilchOS Core, a decidedly tiny Nix-based distro to play with
  ☆85Updated 2 years ago
• ZilchOS / bootstrap-from-tcc
  Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager
  ☆58Updated 2 years ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated 2 years ago
• foo-dogsquared / nix-overlay-guix
  A package and module for using GNU Guix on Nix(OS).
  ☆44Updated 2 years ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆37Updated 2 years ago
• celun / celun
  The customizable embedded Linux using Nix.
  ☆67Updated 3 years ago
• Mic92 / vmsh
  Shell into a virtualized linux, with your own tools
  ☆167Updated last week
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆44Updated 2 weeks ago
• pftool / pftool
  ☆64Updated last week