Alternatives and similar repositories for rr.soft:

Users that are interested in rr.soft are comparing it to the libraries listed below

• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 3 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 3 months ago
• droundy / bigbro
  library (and utility) for tracking filesystem changes
  ☆17Updated 3 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 10 months ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆30Updated 4 months ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• ocaml-multicore / eio-trace
  Trace visualisation tool for Eio programs
  ☆14Updated 4 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• wangbj / elf
  Parser for ELF object format.
  ☆11Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆22Updated 7 years ago
• talex5 / mirage-trace-viewer
  GTK and HTML viewers for mirage-profile trace files
  ☆20Updated 2 years ago
• janestreet / tracing
  Tracing library
  ☆32Updated 4 months ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 3 weeks ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated 5 months ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 7 months ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated 4 months ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆15Updated 7 months ago
• pornin / cycle-counter
  ☆22Updated 3 months ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 3 months ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆84Updated 2 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆54Updated 2 weeks ago