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 week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆86Updated 3 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆376Updated 3 weeks ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆32Updated last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 8 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 2 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated last week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆278Updated 2 weeks ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆195Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆133Updated 5 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated last month
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆162Updated 4 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆80Updated this week
• rossberg / 1ml
  1ML prototype interpreter
  ☆282Updated 4 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated last week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆248Updated last month
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 2 weeks ago
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆134Updated 2 years ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• stedolan / mlsub
  Prototype type inference engine
  ☆202Updated 4 months ago
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆256Updated 3 weeks ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 10 months ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated 2 months ago