Haskell Compiler

Open-source Haskell projects categorized as Compiler

Top 23 Haskell Compiler Projects

  • Elm

    Compiler for Elm, a functional language for reliable webapps.

    Project mention: Elm/compiler: Matching on negative literals results in a parser error | news.ycombinator.com | 2023-05-23
  • idris

    A Dependently Typed Functional Programming Language

    Project mention: (strongly typed) functional language compilers running in browser | reddit.com/r/functionalprogramming | 2023-03-31

    there're a lot of languages that can target js/wasm these days, some of which are even self-hosting (ghc) and can target browser (ghcjs), a lot are written in haskell which again can target browser but the closest to my request i've found is an old thread of idris supposedely compilable by ghcjs and while there are plenty "run your code in browser (via server compilation)" services i've yet to see a working "running compiler in browser in browser example"


    ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  • wasp

    The fastest way to develop full-stack web apps with React & Node.js.

    Project mention: Let's Build a Compiler (1988) | news.ycombinator.com | 2023-05-25

    Although AI has been all the rage lately, I was actually always excited the most by building a compiler. After a few years of dabbling with it, I created one together with my brother: https://github.com/wasp-lang/wasp

    It is a DSL (a simple config language for building web apps) so not that complicated as a Turing-complete language, but still a lot of concepts remain.

    As a good starting resources for building your own compiler I'd also recommend Crafting Interpreters, super nicely explained and fun to go through: https://craftinginterpreters.com/

  • futhark

    :boom::computer::boom: A data-parallel functional programming language

    Project mention: Does This Language Exist? | reddit.com/r/ProgrammingLanguages | 2023-05-22

    You might want to look into Futhark, although it's mainly designed for writing GPU code.

  • haste-compiler

    A GHC-based Haskell to JavaScript compiler

    Project mention: Resurrection/modernization of an old Haskell+Haste project (boardgame Yinsh) | reddit.com/r/haskell | 2023-02-08

    Back then, I was using Haste to compile Haskell to JavaScript for the frontend part. But now I fail to properly restore the environment to make the hastec call work. Also, I'm not sure if Haste is still actively maintained.

  • grin

    GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. (by grin-compiler)

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • kaleidoscope

    Haskell LLVM JIT Compiler Tutorial

    Project mention: Should I abandon using haskell for my compiler? | reddit.com/r/haskell | 2023-04-20

    Comparing the haskell and cpp implementations of the LLVM tutorial lead me to believe it might be faster to learn haskell and implement the compiler in haskell than to implement it in cpp.

  • egison

    The Egison Programming Language

    Project mention: The Egison Programming Language | reddit.com/r/patient_hackernews | 2023-04-29
  • accelerate

    Embedded language for high-performance array computations (by AccelerateHS)

    Project mention: Should I use newer ghc? | reddit.com/r/haskell | 2023-02-23

    Someone has opened a PR for accelerate here https://github.com/AccelerateHS/accelerate/pull/525 (sadly seems not actively maintained at the moment, but that can always change if people care enough). I agree for an executable you should freeze your dependencies and compiler version, and using 8.10 is fine. Although there are tons of improvements in 9.2+

  • pi-forall

    A demo implementation of a simple dependently-typed language

  • morte

    A bare-bones calculus-of-constructions

  • husk-scheme

    A full implementation of the Scheme programming language for the Haskell Platform.

  • lawvere

    A categorical programming language with effects (by jameshaydon)

  • glambda

    The home of the Glamorous Glambda interpreter

  • inspection-testing

    Inspection Testing for Haskell

  • codec-beam

    Generate Erlang VM byte code from Haskell

  • eclair-lang

    A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

    Project mention: Should I abandon using haskell for my compiler? | reddit.com/r/haskell | 2023-04-20

    /u/ltielen's Éclair language targets LLVM and is actively maintained, so I'd look at that implementation's LLVM setup.

  • ghc-proofs

    Let GHC prove program equations for you

  • accelerate-llvm

    LLVM backend for Accelerate

    Project mention: How do I get my program to use 100% of the GPU? | reddit.com/r/archlinux | 2023-01-09

    So, I've been working on using this library: https://github.com/AccelerateHS/accelerate-llvm to do GPU programming, and it's really fun, but the problem is that for some reason my machine won't use 100% of the GPU cores (according to nvtop) and I don't know enough about how GPUs work just yet to know what I'm doing wrong.

  • wasm

    Haskell WebAssembly Toolkit

  • ajhc

    A fork of jhc. And also a Haskell compiler.

  • bound

    Combinators for manipulating locally-nameless generalized de Bruijn terms

    Project mention: Monthly Hask Anything (March 2023) | reddit.com/r/haskell | 2023-03-05

    Has anyone applied this bound Imperative example to a larger language?

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-05-25.

Haskell Compiler related posts


What are some of the best open-source Compiler projects in Haskell? This list will help you:

Project Stars
1 Elm 7,191
2 idris 3,389
3 write-you-a-haskell 3,240
4 wasp 2,805
5 futhark 2,075
6 haste-compiler 1,445
7 grin 993
8 kaleidoscope 988
9 egison 885
10 accelerate 863
11 pi-forall 480
12 morte 368
13 husk-scheme 293
14 lawvere 230
15 glambda 206
16 inspection-testing 171
17 codec-beam 169
18 eclair-lang 165
19 ghc-proofs 146
20 accelerate-llvm 146
21 wasm 143
22 ajhc 135
23 bound 117
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.