Alternatives and similar repositories for MontiLang:

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

• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated last year
• jaaron / toy-bytecode
  A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.
  ☆18Updated last year
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• GaloisInc / http-server
  A Haskell HTTP server
  ☆24Updated 7 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 10 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• norm2782 / NanoProlog
  ☆17Updated last year
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 5 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆33Updated 6 years ago
• EarlGray / COSEC
  the Coolest OS Ever Created
  ☆24Updated 11 months ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• pkaleta / kivi
  Lazy functional language compiler targeting LLVM.
  ☆29Updated 13 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• xmonader / pyparsec
  python parser combinators (parsec) library
  ☆11Updated 6 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• 8l / myrddin
  ☆8Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 5 months ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago