Alternatives and similar repositories for pfff

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

• stedolan / crowbar
  Property fuzzing for OCaml
  ☆192Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆91Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆163Updated this week
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆196Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 years ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆385Updated last month
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆272Updated 11 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆73Updated 3 months ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆169Updated last week
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 3 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆288Updated last week
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated last month
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆148Updated last week
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆206Updated last year
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆317Updated last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆124Updated last year
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆96Updated last week
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 3 weeks ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆38Updated 2 months ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆80Updated 6 months ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆267Updated last year
• goblint / analyzer
  Static analysis framework for C
  ☆204Updated last week
• backtracking / ocamlgraph
  OCaml graph library
  ☆241Updated 3 months ago
• Drup / tyre
  Typed Regular Expressions
  ☆179Updated 3 weeks ago
• realworldocaml / mdx
  Execute code blocks inside your documentation
  ☆281Updated 2 months ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago