Alternatives and similar repositories for fsatrace

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

• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆40Updated 5 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 2 weeks ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆179Updated last year
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆166Updated last week
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 5 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 5 years ago
• stolyaroleh / grafanix
  Visualize your Nix dependencies!
  ☆39Updated 2 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆88Updated 5 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 2 weeks ago
• wangbj / elf
  Parser for ELF object format.
  ☆11Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated 10 months ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆70Updated 6 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated last month
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• pbogdan / nix-derivation-pretty
  Pretty printer for Nix .drv files.
  ☆16Updated 7 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 2 weeks ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆90Updated 5 months ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year