Alternatives and similar repositories for clodl

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

• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆86Updated last year
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆265Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆76Updated 2 years ago
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆142Updated 2 years ago
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆69Updated 3 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆216Updated 6 years ago
• snowleopard / build
  Build Systems à la Carte
  ☆270Updated last year
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 4 years ago
• solidsnack / arx
  Bundles code and a job to run for local or remote execution.
  ☆195Updated 10 months ago
• ligurio / unreliablefs
  A FUSE-based fault injection filesystem.
  ☆183Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆110Updated 2 years ago
• edolstra / dwarffs
  A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
  ☆213Updated 3 months ago
• orivej / fptrace
  Record process launches and files read and written by each process
  ☆62Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆248Updated 3 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆124Updated 2 years ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆46Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 4 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆171Updated last week
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated last year
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆200Updated 2 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆28Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆165Updated 4 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆296Updated last week
• bazelbuild / sandboxfs
  A virtual file system for sandboxing
  ☆396Updated 8 months ago