Alternatives and similar repositories for microhaskell

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

• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆42Updated 4 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• teorth / symmetric_project
  ☆94Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• janestreet / handled_effect
  Typed effects API for OxCaml
  ☆20Updated 3 weeks ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• janestreet / torch
  ☆148Updated 3 weeks ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• acornprover / acornlib
  Acorn's standard library of mathematical facts.
  ☆50Updated 2 weeks ago
• emilyriehl / ReintroductionToProofs
  A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
  ☆52Updated last month
• madvorak / read-lean
  How to read Lean
  ☆22Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated 3 weeks ago
• teorth / expdb
  Exponent pair database
  ☆69Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• Lysxia / advent-of-coq-2021
  ☆44Updated 4 years ago
• uds-psl / Prog
  ☆91Updated 4 years ago
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• HigherOrderCO-archive / kindbook
  ☆55Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆44Updated last year
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆34Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆115Updated 2 years ago
• kiranandcode / LeanTeX
  Write LaTeX presentations directly from Lean4~
  ☆23Updated last month
• HigherOrderCO / HVM3
  HVM3
  ☆276Updated last week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated 2 weeks ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆101Updated this week