Alternatives and similar repositories for microhaskell

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

• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 10 months ago
• madvorak / read-lean
  How to read Lean
  ☆20Updated 7 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆103Updated 3 weeks ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• janestreet / torch
  ☆129Updated this week
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated 2 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• fpvandoorn / LeanCourse23
  ☆33Updated 11 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 6 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• HigherOrderCO / kindbook
  ☆52Updated 7 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated last year
• teorth / symmetric_project
  ☆92Updated last year
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆62Updated this week
• verse-lab / ego
  EGraphs in OCaml
  ☆70Updated last year
• uds-psl / Prog
  ☆85Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 9 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆255Updated last week
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 3 months 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…
  ☆37Updated last month