Alternatives and similar repositories for fsatrace

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

• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated 5 months ago
• nmattia / stutter
  CLI string generator based on regex-like operations
  ☆41Updated 5 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆171Updated last week
• nh2 / hatrace
  scriptable strace
  ☆124Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆110Updated 2 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated 2 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆12Updated 6 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated last month
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆180Updated last year
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆33Updated 4 months ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 7 years ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆48Updated 9 months ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• velveteer / hermes
  A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
  ☆49Updated 4 months ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• redneb / ghc-alt-libc
  GHC compiled against musl & uClibc
  ☆42Updated last year
• stolyaroleh / grafanix
  Visualize your Nix dependencies!
  ☆39Updated 2 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 8 years ago
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆69Updated 7 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• shlevy / nix-exec
  Run programs defined in nix expressions
  ☆51Updated 8 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆18Updated last week
• Twinside / asciidiagram
  A freeform ASCII diagram parser for Haskell (inspired by Ditaa)
  ☆33Updated 4 years ago