RedPRL/ocaml-bwd external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

RedPRL/ocaml-bwd

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/RedPRL/ocaml-bwd)

Close

RedPRL / ocaml-bwdView on GitHubMore

• External links
• Readme badge

🔙 Backward lists for OCaml

☆22Nov 21, 2025Updated 3 months ago

Alternatives and similar repositories for ocaml-bwd

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

• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 3 months ago
• RedPRL / yuujinchou

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆26Nov 21, 2025Updated 3 months ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 3 months ago
• RedPRL / algaeff

  View on GitHub
  🦠 Reusable components based on algebraic effects
  ☆51Nov 21, 2025Updated 3 months ago
• backtracking / creal

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

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

  View on GitHub
  Effectful OCaml with Objects and Variants
  ☆29Feb 3, 2023Updated 3 years ago
• ualib / ualib.github.io

  View on GitHub
  The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…
  ☆20Dec 8, 2021Updated 4 years ago
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• c-cube / thread-local-storage

  View on GitHub
  thread-local storage for OCaml
  ☆17Jan 13, 2025Updated last year
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• anderslundstedt / pca-realizability

  View on GitHub
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Mar 28, 2017Updated 8 years ago
• mlantas / promise_jsoo

  View on GitHub
  Js_of_ocaml bindings to JS Promises with supplemental functions
  ☆30Jan 15, 2025Updated last year
• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago
• RedPRL / mugen

  View on GitHub
  ♾️ A library for universe levels and universe polymorphism
  ☆37Nov 21, 2025Updated 3 months ago
• c-cube / bare-ocaml

  View on GitHub
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Aug 16, 2024Updated last year
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• gildor478 / ocaml-gettext

  View on GitHub
  ☆13Aug 4, 2025Updated 6 months ago
• mmcqd / higher-standard

  View on GitHub
  Higher kinded polymorphism in SML
  ☆15Sep 2, 2020Updated 5 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago
• backtracking / hashset

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

  View on GitHub
  Declarative music for OCaml (unreleased)
  ☆27Jan 2, 2026Updated 2 months ago
• ocamllibs / metaquot

  View on GitHub
  OCaml syntax extension for quoting code
  ☆28Aug 8, 2025Updated 6 months ago
• RyanGibb / eon

  View on GitHub
  Effects-based OCaml Nameserver
  ☆39Dec 3, 2025Updated 2 months ago
• c-cube / ocaml-gnuplot

  View on GitHub
  bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
  ☆13May 6, 2024Updated last year
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• beajeanm / dream-htmx

  View on GitHub
  Utilities methods for interacting with Htmx in Dream
  ☆17Aug 7, 2022Updated 3 years ago
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago
• lpw25 / ocaml-typed-effects

  View on GitHub
  OCaml with typed algebraic effects
  ☆53Oct 12, 2018Updated 7 years ago
• dbuenzli / htmlact

  View on GitHub
  Active HTML elements for dynamic webpages (unreleased)
  ☆27Jul 29, 2025Updated 7 months ago
• OCamlPro / directories

  View on GitHub
  directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux…
  ☆39Nov 3, 2025Updated 3 months ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• c-cube / olinq

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

  View on GitHub
  A splay tree implementation.
  ☆14Jan 15, 2026Updated last month
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 2 years ago