Alternatives and similar repositories for mmaclone:

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

• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 8 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆368Updated 8 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 2 months ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 10 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆176Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 6 months ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆425Updated 6 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆371Updated last year
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆532Updated 3 years ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆581Updated last year
• 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 7 years ago
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆416Updated this week
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆150Updated 8 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆455Updated last week
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆54Updated 4 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆295Updated last year
• ollef / sixten
  Functional programming with fewer indirections
  ☆762Updated 4 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆298Updated last month
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆290Updated 3 years ago