Alternatives and similar repositories for ocaml-flap

Users that are interested in ocaml-flap are comparing it to the libraries listed below

• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• johnyob / dromedary

  View on GitHub
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆49Sep 23, 2025Updated 4 months ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 2 months ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• yallop / ocaml-asp

  View on GitHub
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104May 16, 2025Updated 8 months ago
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• Lysxia / coq-simple-io

  View on GitHub
  IO for Gallina
  ☆33Dec 17, 2025Updated last month
• kiranandcode / guile-ocaml

  View on GitHub
  GNU Guile Scheme bindings for OCaml
  ☆18Aug 5, 2022Updated 3 years ago
• polytypic / rea-ml

  View on GitHub
  Effectful OCaml with Objects and Variants
  ☆29Feb 3, 2023Updated 3 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 10 months ago
• dbuenzli / uucd

  View on GitHub
  Unicode character database decoder for OCaml
  ☆17Jan 2, 2026Updated last month
• darrenldl / ocaml-lxc

  View on GitHub
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Oct 25, 2019Updated 6 years ago
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• joelburget / typed-algebraic-parsing

  View on GitHub
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Mar 21, 2022Updated 3 years ago
• art-w / sherlodoc

  View on GitHub
  Fuzzy type search for OCaml documentation
  ☆87Jul 16, 2024Updated last year
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• m-laniakea / ascend

  View on GitHub
  Ascend - simple, yet fun terminal RPG.
  ☆32Nov 2, 2024Updated last year
• xavierleroy / cdf-program-logics

  View on GitHub
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆41Apr 14, 2021Updated 4 years ago
• mb64 / simple-lambda-prolog

  View on GitHub
  A simple λProlog interpreter
  ☆20Nov 29, 2021Updated 4 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking

  View on GitHub
  A Toy Inverse Bidirectional Typechecker
  ☆32May 13, 2019Updated 6 years ago
• robur-coop / miou

  View on GitHub
  A simple scheduler for OCaml 5
  ☆131Jan 27, 2026Updated 2 weeks ago
• lpw25 / girards-paradox

  View on GitHub
  A "implementation" of Girard's paradox in OCaml
  ☆110Apr 7, 2015Updated 10 years ago
• ktahar / ocaml-lp

  View on GitHub
  LP and MIP modeling in OCaml
  ☆29Jun 24, 2025Updated 7 months ago
• backtracking / ocaml-bazaar

  View on GitHub
  ☆17Jan 4, 2026Updated last month
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• xavierleroy / cdf-mech-sem

  View on GitHub
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆70Apr 9, 2024Updated last year
• Octachron / rational_in_types

  View on GitHub
  Type-level rational puzzles in OCaml
  ☆25Jun 8, 2016Updated 9 years ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆28Jan 25, 2026Updated 3 weeks ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 3 years ago
• sorawee / pretty-expressive-ocaml

  View on GitHub
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆26Mar 13, 2024Updated last year
• acorrenson / owl

  View on GitHub
  A mini language for logic programming
  ☆23Jun 5, 2020Updated 5 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year