Alternatives and similar repositories for pfff

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

• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated last month
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆160Updated 2 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆88Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆144Updated 4 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆281Updated last week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆68Updated 2 months ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆127Updated 2 years ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆380Updated 3 weeks ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆145Updated last week
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• realworldocaml / mdx
  Execute code blocks inside your documentation
  ☆280Updated last week
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆143Updated 5 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆166Updated 3 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆271Updated 9 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆178Updated 4 months ago
• Drup / tyre
  Typed Regular Expressions
  ☆173Updated 5 years ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆244Updated 2 weeks ago
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated this week
• OCamlPro / ocaml-cheat-sheets
  OCaml Documentations as one-pagers, easy to keep useful commands in mind
  ☆130Updated 4 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆219Updated 2 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆235Updated 2 months ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆165Updated 6 months ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆314Updated 3 months ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆266Updated last year
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago