Alternatives and similar repositories for fsatrace:

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

• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆175Updated 10 months ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆39Updated 5 years ago
• droundy / bigbro
  library (and utility) for tracking filesystem changes
  ☆17Updated 4 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 2 weeks ago
• da-x / fancydiff
  Colorful Git diffs for terminal and web, including source syntax highlighting
  ☆24Updated 5 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 4 years ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆25Updated 11 months ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆160Updated last month
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 3 months ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆27Updated 5 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 5 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 weeks ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• shlevy / nix-exec
  Run programs defined in nix expressions
  ☆51Updated 8 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 2 weeks ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆29Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated 11 months ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆68Updated 6 years ago
• stolyaroleh / grafanix
  Visualize your Nix dependencies!
  ☆39Updated last year
• bgamari / nix-pkgconfig
  A pkg-config wrapper exposing nixpkgs packages
  ☆26Updated 3 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• bgamari / ghc-utils
  Utilities I find useful while working on GHC (mirror of GitLab repo)
  ☆24Updated 5 years ago