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 2 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆762Updated 4 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆463Updated this week
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 11 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆479Updated 3 years ago
• frank-lang / frank
  Frank compiler
  ☆291Updated last year
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆260Updated 8 months ago
• ajnsit / concur
  An unusual Web UI Framework for Haskell
  ☆306Updated 4 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆356Updated this week
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 3 weeks ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆282Updated 4 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• andyarvanitis / purescript-native
  A native compiler backend for PureScript (via C++ or Golang)
  ☆635Updated 2 years ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆206Updated 5 years ago
• elba / elba
  A package manager for Idris
  ☆188Updated 4 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 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
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated last week
• amuletml / amulet
  An ML-like functional programming language
  ☆334Updated 3 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆277Updated 2 years ago
• easafe / purescript-flame
  Fast & simple framework for building web applications
  ☆299Updated last week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆613Updated this week