Alternatives and similar repositories for mmaclone:

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

• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 4 months ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆367Updated 8 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆410Updated 8 years ago
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆531Updated 3 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated 3 weeks ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated last year
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆302Updated 5 months ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆526Updated 4 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆620Updated 4 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆123Updated 4 years ago
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆423Updated 6 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆242Updated 10 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆767Updated 2 months ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆577Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆377Updated 2 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆317Updated 4 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated 2 weeks ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆541Updated last year
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago