Alternatives and similar repositories for MontiLang

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

• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• misto / Write-Yourself-a-Scheme-in-Scala
  Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.
  ☆7Updated 13 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• taiki45 / hs-vm
  Simple Virtual Machine written in Haskell
  ☆28Updated 11 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• ashwin153 / caustic
  A transactional programming language.
  ☆34Updated 6 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 10 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 11 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• yuhuili / Racket.js
  Racket Interpretor | HackPrinceton Fall 2016
  ☆7Updated 8 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 14 years ago
• laurmcarter / scheme-monads
  Framework for defining and using monads in Chez Scheme
  ☆10Updated 12 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 6 years ago
• racket / lazy
  ☆7Updated 2 months ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated 2 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆135Updated 6 years ago