Alternatives and similar repositories for microhaskell:

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

• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 3 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆65Updated last month
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆17Updated 2 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• mb64 / xtt
  A simple implementation of XTT, "A cubical language for Bishop sets"
  ☆26Updated 2 years ago
• ucsd-progsys / liquid-sf
  Port "Software Foundations" to LiquidHaskell
  ☆11Updated 5 years ago
• gelisam / typechecker-combinators
  ☆16Updated 9 months ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 weeks ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆38Updated last month
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated last week
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• LocalCharts / silviculture
  ☆15Updated 7 months ago
• jespercockx / reflection-tutorial
  ☆17Updated 6 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• gdijkstra / hs-to-gallina
  Experimentation project
  ☆16Updated 10 years ago
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 5 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 7 months ago
• JacquesCarette / Notes
  ☆13Updated 2 months ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated this week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago