Alternatives and similar repositories for pfff

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

• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 6 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆83Updated 2 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated 3 weeks ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 8 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated 5 months ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆15Updated last month
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆34Updated 10 years ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 5 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆67Updated 6 months ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆15Updated 5 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆108Updated 2 months ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆36Updated this week
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• ahf / ircd-scylla
  MirageOS IRC daemon.
  ☆14Updated 7 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 5 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• cfcs / PongOS
  Pong, the operating system version
  ☆36Updated 6 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆38Updated 2 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 9 years ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated last year
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• akiss / akiss
  Tool for checking trace equivalence for security protocols
  ☆17Updated 5 years ago
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆25Updated 3 weeks ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆87Updated last year
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago