Alternatives and similar repositories for pfff

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

• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆63Updated 4 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 10 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated last month
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated last week
• 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
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated last year
• aryx / xix
  Plan9 software ported to OCaml
  ☆34Updated last week
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆36Updated 4 months ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆37Updated 2 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 6 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 6 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆18Updated 3 years ago
• jaybosamiya / automatic-differentiation
  Find first derivatives of functions automagically
  ☆10Updated 8 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated last week
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆35Updated last year
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 6 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 9 years ago