Alternatives and similar repositories for microhaskell

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

• janestreet / handled_effect
  Typed effects API for OxCaml
  ☆20Updated 3 weeks ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• janestreet / torch
  ☆148Updated 3 weeks ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated last month
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• fplaunchpad / iitm_ocaml_reading_group
  OCaml reading group at IIT Madras
  ☆25Updated 4 months ago
• madvorak / read-lean
  How to read Lean
  ☆22Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆277Updated last week
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆44Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• 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
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated 3 weeks ago
• verse-lab / ego
  EGraphs in OCaml
  ☆80Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated 2 weeks ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆42Updated 4 years ago
• DSLstandard / Lean4-FFI-Programming-Tutorial-GLFW
  Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
  ☆34Updated 5 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Updated last year
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆101Updated this week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆35Updated 4 months ago
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆45Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated this week
• teorth / symmetric_project
  ☆94Updated 2 years ago