Alternatives and similar repositories for monads

Users that are interested in monads are comparing it to the libraries listed below

• neutronest / vortex

  View on GitHub
  a Haskell implementation of Deep Learning frameworks.
  ☆12Mar 29, 2016Updated 9 years ago
• braibant / coq-tutorial-ml-tactics

  View on GitHub
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Nov 23, 2016Updated 9 years ago
• agda-attic / agda-web-semantic

  View on GitHub
  Agda libraries for the semantic web
  ☆25Nov 14, 2018Updated 7 years ago
• mietek / imla2017

  View on GitHub
  Agda formalisation of NbE for λ□
  ☆18Dec 5, 2017Updated 8 years ago
• EduardSergeev / monad-memo

  View on GitHub
  Memoization monad transformer
  ☆30May 7, 2024Updated last year
• dlicata335 / cart-cube

  View on GitHub
  Cartesian Cubical Type Theory
  ☆74Mar 1, 2021Updated 4 years ago
• dylnb / esslli2015-monads

  View on GitHub
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Aug 12, 2015Updated 10 years ago
• yallop / popl2015-papers

  View on GitHub
  Accepted papers for POPL 2015
  ☆66May 23, 2016Updated 9 years ago
• maxsnew / virtual-equipments

  View on GitHub
  Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
  ☆32Apr 29, 2023Updated 2 years ago
• bmsherman / topology

  View on GitHub
  Formal topology (and some probability) in Coq
  ☆31Nov 30, 2018Updated 7 years ago
• rocq-community / coqeal

  View on GitHub
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆74Jan 20, 2026Updated 3 weeks ago
• arthuraa / poleiro

  View on GitHub
  A blog about Coq
  ☆46Apr 12, 2022Updated 3 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• astares / Seaside-Bootstrap5

  View on GitHub
  Seaside wrapper for Bootstrap 5 on Pharo
  ☆11Jul 26, 2024Updated last year
• peterlefanulumsdaine / hott-limits

  View on GitHub
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Jan 11, 2015Updated 11 years ago
• carlssonia / adaptive

  View on GitHub
  ☆10Jan 28, 2013Updated 13 years ago
• anuyts / menkar

  View on GitHub
  The multimode presheaf proof-assistant
  ☆37Jan 23, 2026Updated 3 weeks ago
• UniMath / UniMath

  View on GitHub
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆1,001Feb 9, 2026Updated last week
• cmu-phil / Spectral

  View on GitHub
  ☆50May 15, 2023Updated 2 years ago
• guillaumebrunerie / initiality

  View on GitHub
  A formalized proof of a version of the initiality conjecture
  ☆45Sep 10, 2020Updated 5 years ago
• Z3Prover / z3prover.github.io

  View on GitHub
  Z3 webpage repository
  ☆10Updated this week
• MrChico / Reals-in-agda

  View on GitHub
  Constructive definition of real numbers implemented in agda.
  ☆10Jul 31, 2016Updated 9 years ago
• haskellari / qc-instances

  View on GitHub
  Instances for QuickCheck classes
  ☆17Jan 8, 2026Updated last month
• oslugr / carreras-en-cifras

  View on GitHub
  Diferentes scripts para representación de carreras en cifras
  ☆10Mar 6, 2017Updated 8 years ago
• ranea / TFG

  View on GitHub
  Trabajo Fin de Grado: Curvas Elípticas en Criptografía
  ☆10Jul 14, 2016Updated 9 years ago
• Kalimehtar / gls

  View on GitHub
  Generic Little System
  ☆17May 5, 2024Updated last year
• vigoo / stylish-haskell-vscode

  View on GitHub
  stylish-haskell support for VS code
  ☆14Jan 15, 2021Updated 5 years ago
• mit-plv / reification-by-parametricity

  View on GitHub
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Jan 12, 2021Updated 5 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• mattjj / ode-diff-notes

  View on GitHub
  ☆12Oct 8, 2020Updated 5 years ago
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Feb 9, 2026Updated last week
• amnh / poy5

  View on GitHub
  Phylogenetic Application written in OCaml and C
  ☆19Jan 29, 2020Updated 6 years ago
• p88h / aoc2023

  View on GitHub
  Advent of Code 2023 (Mojo)
  ☆12Sep 30, 2024Updated last year
• dabrahams / DivideAndConquer

  View on GitHub
  Demonstrates a fix for the mutating divide-and-conquer COW problem
  ☆14Apr 12, 2020Updated 5 years ago
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆12Jan 9, 2022Updated 4 years ago
• sean-dougherty / cuda-edu

  View on GitHub
  A tool allowing students of Coursera's Heterogeneous Parallel Programming to work on homework using a machine without a CUDA GPU.
  ☆11Mar 11, 2015Updated 10 years ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• mzaks / mojo-fast-base64

  View on GitHub
  ☆10May 7, 2024Updated last year
• cran / car

  View on GitHub
   This is a read-only mirror of the CRAN R package repository. car — Companion to Applied Regression. Homepage: https://github.com/bprice…
  ☆10Feb 3, 2026Updated last week