Haskell Compiler

73 Compiler packages and projects

• Elm

  10.0 9.5 Haskell

  The Elm language module.

• haste-compiler

  10.0 0.0 Haskell

  Haskell To ECMAScript compiler

• idris

  10.0 9.1 Haskell

  Functional Programming Language with Dependent Types

• egison

  9.9 9.0 Haskell

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

• kaleidoscope

  9.9 0.5 Haskell

  Haskell Kaleidoscope tutorial

• accelerate

  9.9 9.1 Haskell

  An embedded language for accelerated array processing

• dhall

  9.9 9.1 Haskell

  A configuration language guaranteed to terminate

• pi-forall

  9.8 0.0 Haskell

  Demo implementation of typechecker for dependently-typed language

• hyper-haskell-server

  9.8 6.6 L5 JavaScript

  Server back-end for the HyperHaskell graphical Haskell interpreter

• morte

  9.8 5.9 Haskell

  A bare-bones calculus of constructions

• ajhc

  9.6 0.0 Haskell

  Haskell compiler that produce binary through C language

• sjsp

  9.6 0.0 Haskell

  Simple JavaScript Profiler

• husk-scheme

  9.6 0.0 Haskell

  R5RS Scheme interpreter, compiler, and library.

• bound

  9.4 4.7 Haskell

  Making de Bruijn Succ Less

• glambda

  9.4 0.0 Haskell

  A simply typed lambda calculus interpreter, written with GADTs

• accelerate-llvm

  9.4 8.9 Haskell

  Accelerate backend generating LLVM

• hint

  9.4 5.0 Haskell

  Runtime Haskell interpreter (GHC API wrapper)

• ghc-proofs

  9.4 0.0 Haskell

  GHC plugin to prove program equations by simplification

• sunroof-compiler

  9.3 0.0 Haskell

  Monadic Javascript Compiler

• accelerate-cuda

  9.3 0.0 Haskell

  Accelerate backend for NVIDIA GPUs

• inspection-testing

  9.2 7.4 Haskell

  GHC plugin to do inspection esting

• annah

  9.1 0.0 Haskell

  Medium-level language that desugars to Morte

• accelerate-examples

  9.0 6.8 Haskell

  Examples using the Accelerate library

• dhall-nix

  8.9 6.2 Haskell

  Dhall to Nix compiler

• lambdacube-compiler

  8.9 6.6 Haskell

  LambdaCube 3D is a DSL to program GPUs

• dhall-json

  8.8 7.3 Haskell

  Compile Dhall to JSON or YAML

• ntha

  8.8 0.0 Haskell

  A tiny statically typed functional programming language.

• llvm-hs-pretty

  8.7 6.8 LLVM

  Pretty printer for LLVM IR.

• CPL

  8.7 4.5 Haskell

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

• epic

  8.6 0.0 TeX

  Compiler for a simple functional language

• sunroof-examples

  8.5 0.0 Haskell

  Tests for Sunroof

• hLLVM

  8.5 0.0 Haskell

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

• pcf

  8.4 1.1 Haskell

  A one file compiler for PCF

• peg

  8.0 0.0 Haskell

  a lazy non-deterministic concatenative programming language

• haskelm

  7.9 0.9 Haskell

  Elm to Haskell translation

• feldspar-compiler

  7.9 0.0 Haskell

  Compiler for the Feldspar language

• unbound

  7.8 1.5 Coq

  Generic support for programming with names and binders

• strict-ghc-plugin

  7.7 0.0 Haskell

  Compiler plugin for making Haskell strict

• accelerate-io

  7.7 6.6 Haskell

  Read and write Accelerate arrays in various formats

• dhall-text

  7.6 6.6 Nix

  Template text using Dhall

• core-compiler

  7.5 0.0 Haskell

  compile your own mini functional language with Core

• hoe

  7.4 0.0 Haskell

  hoe

• accelerate-fft

  7.3 6.7 Haskell

  FFT using the Accelerate library

• dhall-bash

  7.3 6.5 Haskell

  Compile Dhall to Bash

• const-math-ghc-plugin

  6.8 0.0 Haskell

  Compiler plugin for constant math elimination

• alms

  6.5 6.2 Haskell

  a practical affine language

• hackager

  6.2 0.0 Haskell

  Hackage testing tool

• mappy

  6.0 0.0 Haskell

  A functional programming language focused around maps.

• egison-tutorial

  5.7 2.4 Haskell

  A tutorial program for the Egison programming language

• uu-cco

  5.6 0.0 Haskell

  Utilities for compiler construction

• whitespace

  5.2 0.0 Haskell

  Whitespace, an esoteric programming language.

• fst

  5.1 0.0 Haskell

  Finite state transducers

• hgom

  4.6 1.4 Haskell

  An haskell port of the java version of gom

• Delta-Lambda

  4.6 5.0 Haskell

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

• record-preprocessor

  4.6 0.0 Haskell

  Compiler preprocessor introducing a syntactic extension for anonymous records

• textmatetags

  4.4 0.0 Haskell

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

• brainfuck

  4.1 0.0 Haskell

  Brainfuck interpreter

• unroll-ghc-plugin

  4.1 0.0 Haskell

  Compiler plugin for loop unrolling

• zot

  3.8 0.0 Haskell

  Zot language

• simple-atom

  3.8 0.0 Haskell

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

• cse-ghc-plugin

  3.4 0.0 Haskell

  Compiler plugin for common subexpression elimination

• bound-gen

  3.1 0.0 Haskell

  Unwrap Scope's with globally fresh values

• hint-server

  3.1 0.0 Haskell

  A server process that runs hint.

• compilation

  2.7 0.0 Haskell

  Haskell functionality for quickly assembling simple compilers.

• secdh

  2.3 0.0 Haskell

  SECDH Machine Simulator

• Fungi

  2.3 0.0 Haskell

  Funge-98 interpreter written in Haskell

• unlambda

  1.9 0.0 Haskell

  Unlambda interpreter

• transf

  1.9 0.0 Haskell

  Text transformer and interpreter.

• alpha

  1.9 0.0 Haskell

  A compiler for the Alpha language

• staticanalysis

  1.9 0.0 Haskell

  Reusable static analysis interfaces and modules.

• lambda2js

  1.4 0.0 Haskell

  Untyped Lambda calculus to JavaScript compiler

• dcpu16

  1.1 0.0 Haskell

  Initial project template from stack

• accelerate-bignum

  0.8 6.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.

Datadog - Monitor and correlate metrics, request traces, and logs in one platform. Try it free. More from our partner

Popular Comparisons

• idris
  vs
  const-math-ghc-plugin
• accelerate-cuda
  vs
  accelerate-bignum
• egison
  vs
  idris
• idris
  vs
  egison
• dhall
  vs
  CPL

SaaSHub - The independent software marketplace. Find the best software and alternatives. More from our team