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.
  ☆305Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆123Updated 2 weeks ago
• frank-lang / frank
  Frank compiler
  ☆303Updated 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…
  ☆133Updated 3 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆481Updated 4 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆349Updated 5 months ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆210Updated 5 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 9 months ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆215Updated 2 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆370Updated last year
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆290Updated 5 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆271Updated last year
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆483Updated last month
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 6 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆146Updated 6 years ago
• cell-lang / compiler
  Cell compiler
  ☆117Updated 2 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆291Updated 2 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆308Updated 2 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• elba / elba
  A package manager for Idris
  ☆185Updated 5 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated last year
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆343Updated 4 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 3 years ago