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
  ☆11Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated last week
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆192Updated 2 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆74Updated 5 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆273Updated last year
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆91Updated this week
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆384Updated last week
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆199Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆148Updated 8 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆151Updated last week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆179Updated 7 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 2 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 5 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆290Updated last month
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated 2 weeks ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• realworldocaml / mdx
  Execute code blocks inside your documentation
  ☆282Updated last month
• Drup / tyre
  Typed Regular Expressions
  ☆179Updated last week
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆43Updated last year
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆317Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆71Updated this week
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆367Updated 6 months ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆268Updated last year
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆222Updated last month
• goblint / analyzer
  Static analysis framework for C
  ☆215Updated this week
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆295Updated last year