Alternatives and similar repositories for MontiLang

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

• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 10 years ago
• taiki45 / hs-vm
  Simple Virtual Machine written in Haskell
  ☆28Updated 11 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 11 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated last year
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• marijnh / uscheme
  Unlikely Scheme: A small Scheme interpreter
  ☆22Updated 14 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆32Updated 6 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago