Alternatives and similar repositories for microhaskell

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

• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 5 months ago
• teorth / symmetric_project
  ☆92Updated last year
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 9 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• 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…
  ☆36Updated 3 weeks ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆101Updated this week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆29Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 2 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 11 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆60Updated last month
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 10 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆51Updated last month
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• mb64 / xtt
  A simple implementation of XTT, "A cubical language for Bishop sets"
  ☆27Updated 3 years ago
• adomani / MA4N1_Theorem_proving_with_Lean
  MA4N1 Theorem Proving with Lean
  ☆13Updated 9 months ago
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 8 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆31Updated this week