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
  ☆39Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 2 months ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 2 months ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆32Updated last year
• edolstra / nix-ccache
  A flake to remotely build and/or cache C/C++ compilation, using recursive Nix
  ☆30Updated 3 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• stolyaroleh / grafanix
  Visualize your Nix dependencies!
  ☆39Updated last year
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆163Updated 3 weeks ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆70Updated 6 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated last week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• nh2 / hatrace
  scriptable strace
  ☆123Updated 4 years ago
• ndmitchell / nsis
  Haskell DSL for producing Windows Installer using NSIS
  ☆26Updated last year
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆178Updated last year
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆27Updated 5 years ago
• shlevy / nix-exec
  Run programs defined in nix expressions
  ☆51Updated 8 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 4 years ago
• LeventErkok / crackNum
  Convert to/from IEEE-754 HP/SP/DP formats
  ☆22Updated 8 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• takenobu-hs / ghci-hexcalc
  Haskell/GHCi as a Hex-Calculator interactive
  ☆26Updated last year
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• velveteer / hermes
  A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
  ☆45Updated 9 months ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆19Updated 4 years ago