Haskell Compiler

71 Compiler packages and projects

• haste-compiler

  10.0 7.3 Haskell

  Haskell To ECMAScript compiler

• idris

  10.0 9.5 Haskell

  Functional Programming Language with Dependent Types

• Elm

  10.0 6.9 Haskell

  The Elm language module.

• egison

  9.9 7.9 Haskell

  Programming language with non-linear pattern-matching against non-free data

• accelerate

  9.9 8.5 Haskell

  An embedded language for accelerated array processing

• kaleidoscope

  9.9 3.7 Haskell

  Haskell Kaleidoscope tutorial

• pi-forall

  9.8 0.0 Haskell

  Demo implementation of typechecker for dependently-typed language

• morte

  9.8 4.9 Haskell

  A bare-bones calculus of constructions

• ajhc

  9.7 0.0 Haskell

  Haskell compiler that produce binary through C language

• hyper-haskell-server

  9.7 5.7 L5 JavaScript

  Server back-end for the HyperHaskell graphical Haskell interpreter

• dhall

  9.7 8.9 Haskell

  A configuration language guaranteed to terminate

• sjsp

  9.7 2.2 Haskell

  Simple JavaScript Profiler

• husk-scheme

  9.7 0.1 Haskell

  R5RS Scheme interpreter, compiler, and library.

• bound

  9.4 6.3 Haskell

  Making de Bruijn Succ Less

• accelerate-cuda

  9.4 4.1 Haskell

  Accelerate backend for NVIDIA GPUs

• accelerate-llvm

  9.4 9.2 Haskell

  Accelerate backend generating LLVM

• sunroof-compiler

  9.4 0.0 Haskell

  Monadic Javascript Compiler

• ghc-proofs

  9.3 5.6 Haskell

  GHC plugin to prove program equations by simplification

• hint

  9.3 4.7 Haskell

  Runtime Haskell interpreter (GHC API wrapper)

• glambda

  9.3 1.8 Haskell

  A simply typed lambda calculus interpreter, written with GADTs

• annah

  9.2 0.6 Haskell

  Medium-level language that desugars to Morte

• accelerate-examples

  9.0 8.2 Haskell

  Examples using the Accelerate library

• epic

  8.8 0.0 TeX

  Compiler for a simple functional language

• ntha

  8.8 0.7 Haskell

  A tiny statically typed functional programming language.

• sunroof-examples

  8.8 0.0 Haskell

  Tests for Sunroof

• lambdacube-compiler

  8.8 6.1 Haskell

  LambdaCube 3D is a DSL to program GPUs

• CPL

  8.7 0.0 Haskell

  An interpreter of Hagino's Categorical Programming Language (CPL).

• hLLVM

  8.7 0.0 Haskell

  A library for analyzing and transforming LLVM (3.5) assembly codes

• pcf

  8.5 0.0 Haskell

  A one file compiler for PCF

• dhall-nix

  8.5 6.1 Haskell

  Dhall to Nix compiler

• peg

  8.2 0.0 Haskell

  a lazy non-deterministic concatenative programming language

• haskelm

  8.1 0.0 Haskell

  Elm to Haskell translation

• feldspar-compiler

  8.0 0.0 Haskell

  Compiler for the Feldspar language

• strict-ghc-plugin

  7.9 0.0 Haskell

  Compiler plugin for making Haskell strict

• accelerate-io

  7.8 4.7 Haskell

  Read and write Accelerate arrays in various formats

• unbound

  7.8 0.3 Coq

  Generic support for programming with names and binders

• hoe

  7.7 0.0 Haskell

  hoe

• core-compiler

  7.6 3.7 Haskell

  compile your own mini functional language with Core

• accelerate-fft

  7.3 7.0 Haskell

  FFT using the Accelerate library

• const-math-ghc-plugin

  6.8 0.0 Haskell

  Compiler plugin for constant math elimination

• alms

  6.7 0.0 Haskell

  a practical affine language

• hackager

  6.3 0.0 Haskell

  Hackage testing tool

• dhall-json

  5.7 6.0 Haskell

  Compile Dhall to JSON or YAML

• egison-tutorial

  5.7 0.2 Haskell

  A tutorial program for the Egison programming language

• mappy

  5.5 0.0 Haskell

  A functional programming language focused around maps.

• dhall-bash

  5.3 5.4 Haskell

  Compile Dhall to Bash

• uu-cco

  5.3 0.0 Haskell

  Utilities for compiler construction

• fst

  5.1 0.0 Haskell

  Finite state transducers

• hgom

  4.9 0.0 Haskell

  An haskell port of the java version of gom

• whitespace

  4.6 0.0 Haskell

  Whitespace, an esoteric programming language.

• textmatetags

  4.6 0.0 Haskell

  A simple Haskell program to provide tags for Haskell code completion in TextMate

• zot

  4.6 1.8 Haskell

  Zot language

• Delta-Lambda

  4.6 5.3 Haskell

  A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)

• record-preprocessor

  4.6 0.3 Haskell

  Compiler preprocessor introducing a syntactic extension for anonymous records

• unroll-ghc-plugin

  4.3 0.0 Haskell

  Compiler plugin for loop unrolling

• simple-atom

  4.0 0.0 Haskell

  Atom (or symbol) datatype for fast comparision and sorting.

• brainfuck

  4.0 0.0 Haskell

  Brainfuck interpreter

• cse-ghc-plugin

  3.7 0.0 Haskell

  Compiler plugin for common subexpression elimination

• bound-gen

  3.3 0.0 Haskell

  Unwrap Scope's with globally fresh values

• dhall-text

  3.3 4.7 Nix

  Template text using Dhall

• hint-server

  3.3 1.6 Haskell

  A server process that runs hint.

• compilation

  2.8 0.0 Haskell

  Haskell functionality for quickly assembling simple compilers.

• Fungi

  2.4 0.9 Haskell

  Funge-98 interpreter written in Haskell

• unlambda

  1.9 0.0 Haskell

  Unlambda interpreter

• staticanalysis

  1.9 0.0 Haskell

  Reusable static analysis interfaces and modules.

• secdh

  1.9 0.0 Haskell

  SECDH Machine Simulator

• transf

  1.9 0.0 Haskell

  Text transformer and interpreter.

• alpha

  1.9 0.0 Haskell

  A compiler for the Alpha language

• dcpu16

  1.1 3.8 Haskell

  Initial project template from stack

• lambda2js

  1.1 0.0 Haskell

  Untyped Lambda calculus to JavaScript compiler

• accelerate-bignum

  0.8 7.1 Haskell

  Fixed-length large integer arithmetic for Accelerate

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.