Alternatives and similar repositories for microhaskell

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

• madvorak / read-lean
  How to read Lean
  ☆19Updated 8 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Updated last week
• HigherOrderCO / HVM3
  HVM3
  ☆266Updated 3 weeks ago
• teorth / symmetric_project
  ☆93Updated last year
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆43Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆30Updated 2 weeks ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆115Updated last week
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆22Updated last year
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated this week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 8 months ago
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• HigherOrderCO / kindbook
  ☆53Updated 9 months ago
• andrejbauer / faux-type-theory
  ☆43Updated last month
• adamnemecek / traceoid.ai
  ☆106Updated 10 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆114Updated last week
• uds-psl / Prog
  ☆87Updated 3 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆74Updated 2 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• teorth / expdb
  Exponent pair database
  ☆62Updated this week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 5 months ago
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆75Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆34Updated last week