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.
  ☆302Updated last year
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆460Updated this week
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆258Updated 6 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 9 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆280Updated 4 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• frank-lang / frank
  Frank compiler
  ☆288Updated 11 months ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated last month
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆479Updated 3 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆128Updated 2 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆206Updated 4 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆333Updated 3 years ago
• andyarvanitis / purescript-native
  A native compiler backend for PureScript (via C++ or Golang)
  ☆635Updated 2 years ago
• KeenS / webml
  A Standard ML Compiler for the Web
  ☆385Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆348Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆275Updated 2 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated this week
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago