Alternatives and similar repositories for girards-paradox

Users that are interested in girards-paradox are comparing it to the libraries listed below

• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• lpw25 / implicits-module-system

  View on GitHub
  Work on modular implicits
  ☆25Oct 23, 2018Updated 7 years ago
• lpw25 / ocaml-typed-effects

  View on GitHub
  OCaml with typed algebraic effects
  ☆52Oct 12, 2018Updated 7 years ago
• rlepigre / ocaml-bindlib

  View on GitHub
  Efficient binder representation in OCaml
  ☆43Jul 5, 2024Updated last year
• alan-j-hu / camyll

  View on GitHub
  Static site generator
  ☆12Apr 6, 2025Updated 10 months ago
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated last year
• dbuenzli / typegist

  View on GitHub
  Reflect the essence of OCaml types as values
  ☆14Dec 12, 2024Updated last year
• anuragsoni / kqueue-ml

  View on GitHub
  OCaml bindings to kqueue
  ☆21Feb 16, 2024Updated 2 years ago
• yallop / fomega

  View on GitHub
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Oct 16, 2023Updated 2 years ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• mmottl / res

  View on GitHub
  OCaml library for resizable arrays and strings
  ☆26Nov 28, 2025Updated 2 months ago
• formal-land / coq-bonsai

  View on GitHub
  🌳 Generate a fresh bonsai in your terminal
  ☆30Oct 4, 2021Updated 4 years ago
• ocamllibs / metapp

  View on GitHub
  Meta-preprocessor for OCaml
  ☆79Jan 3, 2024Updated 2 years ago
• tmattio / yoshi

  View on GitHub
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Apr 26, 2023Updated 2 years ago
• c-cube / olinq

  View on GitHub
  LINQ-like combinators for manipulating collections of in-memory data
  ☆16Sep 21, 2020Updated 5 years ago
• patricoferris / riscv-o-spec

  View on GitHub
  An OCaml extension for RISC-V
  ☆16Nov 6, 2020Updated 5 years ago
• patricoferris / jsoo-mithril

  View on GitHub
  Js_of_ocaml bindings for MithrilJS
  ☆18Jan 23, 2021Updated 5 years ago
• polytypic / loko-ml

  View on GitHub
  Lower-Kinded Optics for OCaml
  ☆25Mar 16, 2025Updated 10 months ago
• jozefg / nbe-for-mltt

  View on GitHub
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆131Jun 5, 2024Updated last year
• dariusf / ppx_interact

  View on GitHub
  Interactive breakpoints!
  ☆45Jan 9, 2026Updated last month
• ocaml-ppx / cinaps

  View on GitHub
  Trivial Metaprogramming tool using the OCaml toplevel
  ☆55Apr 6, 2022Updated 3 years ago
• shonfeder / um-abt

  View on GitHub
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Nov 11, 2023Updated 2 years ago
• backtracking / creal

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

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• vbmithr / ocaml-text

  View on GitHub
  OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.
  ☆19Jun 27, 2022Updated 3 years ago
• m-laniakea / ascend

  View on GitHub
  Ascend - simple, yet fun terminal RPG.
  ☆32Nov 2, 2024Updated last year
• reynir / Brainfuck

  View on GitHub
  Brainfuck formalized in Coq
  ☆31Mar 29, 2022Updated 3 years ago
• Octachron / tensority

  View on GitHub
  Strongly typed multidimensional array library for OCaml
  ☆53Jan 27, 2025Updated last year
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated last month
• ezyang / eff

  View on GitHub
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Aug 31, 2020Updated 5 years ago
• dbuenzli / down

  View on GitHub
  An OCaml toplevel (REPL) upgrade
  ☆93Jul 29, 2025Updated 6 months ago
• neel-krishnaswami / inverse-bidirectional-typechecking

  View on GitHub
  A Toy Inverse Bidirectional Typechecker
  ☆32May 13, 2019Updated 6 years ago
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 2 months ago
• jserot / fsml

  View on GitHub
  An OCaml library for describing and simulating synchronous finite state machines")
  ☆33Mar 30, 2021Updated 4 years ago
• garrigue / lablgl

  View on GitHub
  LablGL: an openGL interface for OCaml
  ☆25Dec 24, 2023Updated 2 years ago
• Octachron / rational_in_types

  View on GitHub
  Type-level rational puzzles in OCaml
  ☆25Jun 8, 2016Updated 9 years ago
• snowleopard / selective-ocaml

  View on GitHub
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆48Mar 6, 2019Updated 6 years ago
• funkywork / yourbones

  View on GitHub
  A companion library for writing applications on Tezos (in OCaml)
  ☆17Jan 29, 2024Updated 2 years ago