Alternatives and similar repositories for pfff:

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

• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆142Updated 2 years ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated this week
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆370Updated 2 weeks ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 6 months ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆188Updated last year
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆251Updated 3 weeks ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆158Updated 2 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• rossberg / 1ml
  1ML prototype interpreter
  ☆280Updated 4 years ago
• rems-project / lem
  Lem semantic definition language
  ☆138Updated last month
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated this week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆60Updated this week
• realworldocaml / mdx
  Execute code blocks inside your documentation
  ☆278Updated 2 weeks ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆85Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆156Updated 4 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆141Updated 2 months ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆70Updated 3 weeks ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated last week
• OCamlPro / owi
  Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  ☆173Updated this 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…
  ☆40Updated 9 months ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆216Updated 2 years ago
• aantron / bisect_ppx
  Code coverage for OCaml and ReScript
  ☆307Updated 5 months ago
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 5 years ago
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆210Updated 2 months ago