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
  ☆191Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆87Updated last week
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated 3 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆279Updated this week
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 9 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated this week
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆144Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆140Updated 4 months ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆376Updated this week
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆314Updated 3 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated last month
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated last month
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆68Updated last month
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 3 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆129Updated 3 months ago
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated last week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated this week
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• 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
  ☆127Updated 2 years ago
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆211Updated 5 months ago
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆143Updated 4 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆133Updated last month
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆364Updated 2 months ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆218Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆81Updated last week