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
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated last year
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆377Updated 2 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated last month
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 5 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆150Updated 7 months ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆413Updated this week
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆367Updated 8 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆622Updated 4 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 7 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 4 months ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 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
  ☆243Updated 10 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆178Updated 6 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 15 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 5 months ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• ekmett / ad
  Automatic Differentiation
  ☆382Updated last month
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆579Updated last year
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆424Updated 6 years ago
• rgleichman / glance
  A visual Haskell
  ☆723Updated 3 years ago
• litxio / ptghci
  High-powered REPL for Haskell, inspired by IPython
  ☆338Updated last year
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆297Updated 3 weeks ago