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 4 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 4 months ago
• RedPRL / kado

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

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆26Nov 21, 2025Updated 4 months ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 3 years ago
• RedPRL / algaeff

  View on GitHub
  🦠 Reusable components based on algebraic effects
  ☆52Nov 21, 2025Updated 4 months ago
• polytypic / rea-ml

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

  View on GitHub
  OCaml syntax extension for quoting code
  ☆28Aug 8, 2025Updated 7 months ago
• gildor478 / ocaml-gettext

  View on GitHub
  ☆13Aug 4, 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 4 months 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
• 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
• maxsnew / synthetic-domain-theory

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

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

  View on GitHub
  ♾️ A library for universe levels and universe polymorphism
  ☆37Nov 21, 2025Updated 4 months ago
• mmcqd / higher-standard

  View on GitHub
  Higher kinded polymorphism in SML
  ☆15Sep 2, 2020Updated 5 years ago
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• dboris / camlkit

  View on GitHub
  OCaml bindings to macOS and iOS Cocoa frameworks
  ☆36Nov 24, 2025Updated 3 months ago
• lpw25 / ocaml-typed-effects

  View on GitHub
  OCaml with typed algebraic effects
  ☆53Oct 12, 2018Updated 7 years ago
• c-cube / ocaml-gnuplot

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

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 3 years ago
• rbardou / clap

  View on GitHub
  Command-Line Argument Parsing, imperative style with a consumption mechanism.
  ☆23Mar 26, 2023Updated 2 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• backtracking / bheap

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

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• RobertHarper / pl-syntax

  View on GitHub
  PL syntax macros.
  ☆21Nov 30, 2025Updated 3 months ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• RedPRL / agda-mugen

  View on GitHub
  A formalization of the theory behind the mugen library
  ☆19Jun 24, 2024Updated last year
• c-cube / bare-ocaml

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

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• c-cube / thread-local-storage

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

  View on GitHub
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18May 26, 2025Updated 9 months ago
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 3 months ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 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
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago