Alternatives and similar repositories for fs-errors

Users that are interested in fs-errors are comparing it to the libraries listed below

• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• bob-beck / libtls
  libtls tutorial, exercises, test CA and exercise solutions
  ☆161Updated last year
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆116Updated last week
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 11 months ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆195Updated 6 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 10 years ago
• mystor / micro-coreutils
  An implementation of the unix commands yes, cat, and echo in as few bytes of executable as possible
  ☆61Updated 9 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆67Updated 12 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 6 months ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆188Updated 8 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• majek / fluxcapacitor
  The engine that powers DeLorean!
  ☆836Updated 5 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆47Updated 12 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆230Updated 2 weeks ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆208Updated 5 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• causal-agent / src
  dontfiles
  ☆71Updated 3 weeks ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆164Updated last year
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆286Updated 4 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• softdevteam / krun
  High fidelity benchmark runner
  ☆89Updated 4 years ago
• NanXiao / using-dtrace-stories
  ☆23Updated 2 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago