Haskell Compiler

73 Compiler packages and projects

• idris

  10.0 8.7 Haskell

  Functional Programming Language with Dependent Types

• haste-compiler

  10.0 0.0 Haskell

  Haskell To ECMAScript compiler

• Elm

  10.0 8.9 Haskell

  The Elm language module.

• dhall

  9.9 9.2 Haskell

  A configuration language guaranteed to terminate

• kaleidoscope

  9.9 0.0 Haskell

  Haskell Kaleidoscope tutorial

• egison

  9.9 9.1 Haskell

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

• accelerate

  9.9 8.4 Haskell

  An embedded language for accelerated array processing

• hyper-haskell-server

  9.8 5.8 L5 JavaScript

  Server back-end for the HyperHaskell graphical Haskell interpreter

• morte

  9.8 5.2 Haskell

  A bare-bones calculus of constructions

• pi-forall

  9.8 0.0 Haskell

  Demo implementation of typechecker for dependently-typed language

• sjsp

  9.6 0.0 Haskell

  Simple JavaScript Profiler

• ajhc

  9.6 0.0 Haskell

  Haskell compiler that produce binary through C language

• husk-scheme

  9.6 0.0 Haskell

  R5RS Scheme interpreter, compiler, and library.

• bound

  9.4 4.5 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 7.8 Haskell

  Accelerate backend generating LLVM

• accelerate-cuda

  9.3 0.0 Haskell

  Accelerate backend for NVIDIA GPUs

• inspection-testing

  9.3 7.1 Haskell

  GHC plugin to do inspection esting

• sunroof-compiler

  9.3 0.0 Haskell

  Monadic Javascript Compiler

• ghc-proofs

  9.3 2.3 Haskell

  GHC plugin to prove program equations by simplification

• annah

  9.1 0.0 Haskell

  Medium-level language that desugars to Morte

• accelerate-examples

  9.1 4.6 Haskell

  Examples using the Accelerate library

• lambdacube-compiler

  8.9 6.4 Haskell

  LambdaCube 3D is a DSL to program GPUs

• ntha

  8.9 0.0 Haskell

  A tiny statically typed functional programming language.

• dhall-nix

  8.9 4.9 Haskell

  Dhall to Nix compiler

• CPL

  8.8 3.0 Haskell

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

• dhall-json

  8.8 6.9 Haskell

  Compile Dhall to JSON or YAML

• llvm-hs-pretty

  8.7 5.6 LLVM

  Pretty printer for LLVM IR.

• epic

  8.6 0.0 TeX

  Compiler for a simple functional language

• hLLVM

  8.5 0.0 Haskell

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

• sunroof-examples

  8.5 0.0 Haskell

  Tests for Sunroof

• pcf

  8.4 0.6 Haskell

  A one file compiler for PCF

• unbound

  8.1 4.5 Coq

  Generic support for programming with names and binders

• haskelm

  7.9 0.0 Haskell

  Elm to Haskell translation

• peg

  7.9 0.0 Haskell

  a lazy non-deterministic concatenative programming language

• feldspar-compiler

  7.8 0.0 Haskell

  Compiler for the Feldspar language

• hint

  7.7 4.9 Haskell

  Runtime Haskell interpreter (GHC API wrapper)

• strict-ghc-plugin

  7.7 0.0 Haskell

  Compiler plugin for making Haskell strict

• accelerate-io

  7.5 3.0 Haskell

  Read and write Accelerate arrays in various formats

• dhall-text

  7.4 5.9 Nix

  Template text using Dhall

• core-compiler

  7.4 0.0 Haskell

  compile your own mini functional language with Core

• hoe

  7.4 0.0 Haskell

  hoe

• accelerate-fft

  7.2 4.0 Haskell

  FFT using the Accelerate library

• dhall-bash

  7.2 5.6 Haskell

  Compile Dhall to Bash

• alms

  7.1 5.5 Haskell

  a practical affine language

• const-math-ghc-plugin

  6.8 0.0 Haskell

  Compiler plugin for constant math elimination

• egison-tutorial

  6.3 5.1 Haskell

  A tutorial program for the Egison programming language

• hackager

  6.1 0.0 Haskell

  Hackage testing tool

• mappy

  5.9 5.9 Haskell

  A functional programming language focused around maps.

• uu-cco

  5.5 0.0 Haskell

  Utilities for compiler construction

• whitespace

  5.3 0.0 Haskell

  Whitespace, an esoteric programming language.

• record-preprocessor

  4.8 0.0 Haskell

  Compiler preprocessor introducing a syntactic extension for anonymous records

• Delta-Lambda

  4.6 5.0 Haskell

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

• fst

  4.5 0.0 Haskell

  Finite state transducers

• hgom

  4.5 0.0 Haskell

  An haskell port of the java version of gom

• textmatetags

  4.4 0.0 Haskell

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

• unroll-ghc-plugin

  4.0 0.0 Haskell

  Compiler plugin for loop unrolling

• brainfuck

  4.0 0.0 Haskell

  Brainfuck interpreter

• zot

  3.7 0.0 Haskell

  Zot language

• simple-atom

  3.7 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

• hint-server

  3.0 0.0 Haskell

  A server process that runs hint.

• bound-gen

  3.0 0.0 Haskell

  Unwrap Scope's with globally fresh values

• compilation

  2.7 0.0 Haskell

  Haskell functionality for quickly assembling simple compilers.

• unlambda

  2.3 0.0 Haskell

  Unlambda interpreter

• secdh

  2.2 0.0 Haskell

  SECDH Machine Simulator

• Fungi

  2.2 0.0 Haskell

  Funge-98 interpreter written in Haskell

• alpha

  1.9 0.0 Haskell

  A compiler for the Alpha language

• staticanalysis

  1.8 0.0 Haskell

  Reusable static analysis interfaces and modules.

• transf

  1.8 0.0 Haskell

  Text transformer and interpreter.

• lambda2js

  1.3 0.0 Haskell

  Untyped Lambda calculus to JavaScript compiler

• dcpu16

  1.1 0.0 Haskell

  Initial project template from stack

• accelerate-bignum

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

Popular Comparisons

• idris
  vs
  const-math-ghc-plugin
• dhall
  vs
  accelerate-cuda
• accelerate-bignum
  vs
  accelerate-cuda
• accelerate-cuda
  vs
  accelerate-bignum
• hyper-haskell-server
  vs
  husk-scheme

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