Alternatives and similar repositories for compiler

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

• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• 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 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• frank-lang / frank
  Frank compiler
  ☆298Updated last year
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆477Updated 4 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 4 months ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆131Updated 2 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆475Updated 3 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆286Updated 5 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆369Updated last year
• darklang / philip2
  An Elm to OCaml compiler
  ☆208Updated 5 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆343Updated 3 weeks ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆265Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆132Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆142Updated 6 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆283Updated 2 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆338Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated 7 months ago
• elba / elba
  A package manager for Idris
  ☆186Updated 5 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago