Alternatives and similar repositories for miranda:

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

• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆27Updated 2 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• dmbaturin / hope
  Hope programming language interpreter
  ☆40Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 3 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last week
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 9 months ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆52Updated this week
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆121Updated last month
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 6 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated last month
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last month
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆23Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 10 months ago