Alternatives and similar repositories for filnix

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

• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆261Updated last year
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆90Updated last month
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 10 months ago
• edolstra / dwarffs
  A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
  ☆210Updated last month
• harp-lab / gdlog
  ☆86Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• pdtpartners / nix-ninja
  Ninja-compatible incremental build system for Nix
  ☆218Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 11 months ago
• 414owen / smolgraph
  An extremely small, easy to use multi-line-graph library.
  ☆41Updated last week
• krobelus / git-branchstack
  Efficiently manage Git branches without leaving your local branch
  ☆54Updated 9 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆83Updated 7 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆169Updated this week
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated this week
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆278Updated last month
• snowleopard / build
  Build Systems à la Carte
  ☆258Updated last year
• dzaima / grr
  GUI for gdb, rr, perf, and more
  ☆30Updated 5 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• thoughtpolice / buck2-nix
  Do not taunt happy fun ball
  ☆71Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• jeprinz / pantograph
  ☆96Updated 8 months ago
• edolstra / nix-ccache
  A flake to remotely build and/or cache C/C++ compilation, using recursive Nix
  ☆32Updated 3 years ago
• ButlerOS / haskell-butler
  ☆90Updated last year