Compilers/Interpreters packages

Showing projects tagged as Compilers/Interpreters

  • idris

    10.0 8.5 Haskell
    Functional Programming Language with Dependent Types
  • accelerate

    9.9 8.3 Haskell
    An embedded language for accelerated array processing
  • egison

    9.9 8.7 Haskell
    Programming language with non-linear pattern-matching against non-free data
  • pi-forall

    9.8 0.0 Haskell
    Demo implementation of typechecker for dependently-typed language
  • hyper-haskell-server

    9.7 6.6 L5 JavaScript
    Server back-end for the HyperHaskell graphical Haskell interpreter
  • llvm-hs

    9.7 6.5 Haskell
    General purpose LLVM bindings
  • husk-scheme

    9.6 0.0 Haskell
    R5RS Scheme interpreter, compiler, and library.
  • llvm-general

    9.5 0.0 Haskell
    General purpose LLVM bindings
  • llvm

    9.4 0.0 Haskell
    Bindings to the LLVM compiler toolkit.
  • glambda

    9.4 3.4 Haskell
    A simply typed lambda calculus interpreter, written with GADTs
  • accelerate-llvm

    9.4 8.2 Haskell
    Accelerate backend generating LLVM
  • bound

    9.3 4.2 Haskell
    Making de Bruijn Succ Less
  • accelerate-cuda

    9.2 0.0 Haskell
    Accelerate backend for NVIDIA GPUs
  • accelerate-examples

    9.1 6.5 Haskell
    Examples using the Accelerate library
  • CPL

    8.9 0.4 Haskell
    An interpreter of Hagino's Categorical Programming Language (CPL).
  • ghclive

    8.7 0.0 L2 JavaScript
    Interactive Haskell interpreter in a browser.
  • 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
  • unbound

    8.0 2.9 Coq
    Generic support for programming with names and binders
  • peg

    8.0 0.0 Haskell
    a lazy non-deterministic concatenative programming language
  • hint

    7.8 1.9 Haskell
    Runtime Haskell interpreter (GHC API wrapper)
  • accelerate-io

    7.7 6.6 Haskell
    Read and write Accelerate arrays in various formats
  • hoe

    7.4 0.0 Haskell
    hoe
  • accelerate-fft

    7.3 5.0 Haskell
    FFT using the Accelerate library
  • alms

    7.2 2.5 Haskell
    a practical affine language
  • linear-accelerate

    6.6 5.6 Haskell
    Instances to use linear vector spaces on accelerate backends
  • llvm-general-quote

    6.3 0.0 Haskell
    QuasiQuoting llvm code for llvm-general
  • egison-tutorial

    6.2 2.8 Haskell
    A tutorial program for the Egison programming language
  • mappy

    6.0 4.3 Haskell
    A functional programming language focused around maps.
  • uu-cco

    5.7 0.0 Haskell
    Utilities for compiler construction