Alternatives and similar repositories for compiler

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

• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆303Updated 2 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated this week
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• frank-lang / frank
  Frank compiler
  ☆300Updated last year
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆132Updated 3 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 6 months ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆478Updated 5 months ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆478Updated 4 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆346Updated 2 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆288Updated 5 years ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated last month
• amuletml / amulet
  An ML-like functional programming language
  ☆337Updated 4 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆269Updated last year
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 5 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆210Updated 5 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆284Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆370Updated last year
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆400Updated this week
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆404Updated 3 years ago