Top Haskell Compilers repositories on GitHub

Compiler for Elm, a functional language for reliable webapps.

• elm
• compiler

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

• haskel
• compiler
• book
• evaluation
• lambda-calculus
• type

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

• language
• boom
• gpu
• hpc
• compiler
• gpgpu

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

• webassembly
• haskell
• compiler
• ghc

A GHC-based Haskell to JavaScript compiler

• haskell
• javascript
• ghc
• web
• language
• compiler

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

• optimisation
• compiler
• haskell
• llvm
• data-flow-analysis
• functional-programming

Haskell LLVM JIT Compiler Tutorial

• llvm-bindings
• llvm-tutorial
• haskell
• kaleidoscope
• compiler
• tutorial

Bundle of all core development tools for Elm

• elm
• install
• platform
• compiler
• repl

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

• haskell
• fpga
• verilog
• compiler
• lava

An ML-like functional programming language

• functional-language
• compiler
• haskell
• ml

A categorical programming language with effects

• category-theory
• programming-language
• compiler
• interpreter
• effects

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

• compiler
• datalog
• haskell
• logic-programming
• llvm

The LLVM LHC Haskell Optimization System

• compiler
• llvm
• haskell

The Acton Programming Language

• programming-language
• language
• hacktoberfest
• compiler
• actor-model
• distributed-computing

Haskell in S-expression

• haskell
• lisp
• language
• compiler
• repl
• programming-language

The Disco Discus Compiler

• functional
• language
• regions
• effects
• capabilities
• compiler

Generate Erlang VM byte code from Haskell

• beam
• erlang
• elixir
• compiler
• assembly
• bytes

LLVM backend for Accelerate

• haskell
• accelerate
• llvm
• cuda
• parallel-computing
• gpu-computing

Haskell WebAssembly Toolkit

• haskell
• webassembly
• compiler
• toolkit

an automated solver for problems of competitive programming

• competitive-programming
• programming-contests
• programming-language
• transpiler
• compiler
• optimization

GRIN backend for GHC

• compiler
• haskell
• grin
• ghc
• functional-programming

SQL-first, type-safe PostgreSQL client code generator

• cli
• compiler
• db-first
• sql
• sql-first

A Pascal to LLVM compiler in Haskell

• haskell
• pascal
• compiler
• parsec
• llvm
• llvm-hs

Arithmetic circuits for zero knowledge proof systems

• arithmetic-circuit
• zksnarks
• compiler
• zk-snarks
• qap
• zero-knowledge

a functional programming language with algebraic effects and handlers

• algebraic-effects
• programming-language
• compiler