Alternatives and similar repositories for MontiLang

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

• taiki45 / hs-vm
  Simple Virtual Machine written in Haskell
  ☆28Updated 11 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 7 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 4 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 10 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 3 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆60Updated 14 years ago
• jaseemabid / lisper
  A tiny scheme interpreter in Haskell
  ☆24Updated 6 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 11 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 10 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 4 years ago
• LeifAndersen / racket-to-c
  ☆29Updated 10 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆136Updated 6 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated 2 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆47Updated 5 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• marijnh / uscheme
  Unlikely Scheme: A small Scheme interpreter
  ☆22Updated 14 years ago
• xmonader / pyparsec
  python parser combinators (parsec) library
  ☆11Updated 7 years ago