Delta-Lambda alternatives and similar packages

Based on the "Compiler" category.
Alternatively, view Delta-Lambda alternatives based on common mentions on social networks and blogs.

• binaryen

  10.0 3.4 Delta-Lambda VS binaryen

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

• idris

  10.0 6.2 Delta-Lambda VS idris

  A Dependently Typed Functional Programming Language
  

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com



• Elm

  10.0 5.4 Delta-Lambda VS Elm

  Compiler for Elm, a functional language for reliable webapps.
  

• accelerate

  9.9 5.3 Delta-Lambda VS accelerate

  Embedded language for high-performance array computations
  

• dhall

  9.9 7.3 Delta-Lambda VS dhall

  Maintainable configuration files
  

• kaleidoscope

  9.9 0.0 Delta-Lambda VS kaleidoscope

  Haskell LLVM JIT Compiler Tutorial

• egison

  9.9 0.0 Delta-Lambda VS egison

  The Egison Programming Language
  

• haste-compiler

  9.9 0.0 Delta-Lambda VS haste-compiler

  A GHC-based Haskell to JavaScript compiler

• pi-forall

  9.8 7.5 Delta-Lambda VS pi-forall

  A demo implementation of a simple dependently-typed language

• husk-scheme

  9.7 4.2 Delta-Lambda VS husk-scheme

  A full implementation of the Scheme programming language for the Haskell Platform.

• hyper-haskell-server

  9.7 4.1 L5 Delta-Lambda VS hyper-haskell-server

  The strongly hyped Haskell interpreter.

• morte

  9.7 0.0 Delta-Lambda VS morte

  A bare-bones calculus-of-constructions

• hint

  9.6 7.0 Delta-Lambda VS hint

  DISCONTINUED. Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
  

• accelerate-llvm

  9.6 6.0 Delta-Lambda VS accelerate-llvm

  LLVM backend for Accelerate
  

• glambda

  9.6 0.0 Delta-Lambda VS glambda

  The home of the Glamorous Glambda interpreter

• sjsp

  9.6 1.2 Delta-Lambda VS sjsp

  DISCONTINUED. Simple JavaScript Profiler

• inspection-testing

  9.5 6.2 Delta-Lambda VS inspection-testing

  Inspection Testing for Haskell

• ajhc

  9.5 0.0 Delta-Lambda VS ajhc

  A fork of jhc. And also a Haskell compiler.
  

• bound

  9.4 4.2 Delta-Lambda VS bound

  Combinators for manipulating locally-nameless generalized de Bruijn terms

• wasm

  9.4 5.6 Delta-Lambda VS wasm

  Haskell WebAssembly Toolkit

• ghc-proofs

  9.3 0.0 Delta-Lambda VS ghc-proofs

  Let GHC prove program equations for you

• CPL

  9.2 0.0 Delta-Lambda VS CPL

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

• sunroof-compiler

  9.2 0.0 Delta-Lambda VS sunroof-compiler

  Monadic Javascript Compiler
  

• accelerate-examples

  9.2 0.0 Delta-Lambda VS accelerate-examples

  Examples for the Accelerate language
  

• pcf

  9.1 0.0 Delta-Lambda VS pcf

  A small compiler for PCF

• accelerate-cuda

  9.1 0.0 Delta-Lambda VS accelerate-cuda

  DEPRECATED: Accelerate backend for NVIDIA GPUs
  

• annah

  9.1 0.0 Delta-Lambda VS annah

  Distributed programming language that desugars to Morte

• elm-street

  9.0 4.7 Delta-Lambda VS elm-street

  :deciduous_tree: Crossing the road between Haskell and Elm
  

• llvm-hs-pretty

  9.0 0.0 Delta-Lambda VS llvm-hs-pretty

  Pretty printer for LLVM AST to Textual IR
  

• dhall-nix

  9.0 0.0 Delta-Lambda VS dhall-nix

  DISCONTINUED. Dhall to Nix compiler

• lambdacube-compiler

  9.0 0.0 Delta-Lambda VS lambdacube-compiler

  LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
  

• dhall-json

  8.8 0.0 Delta-Lambda VS dhall-json

  DISCONTINUED. Compile Dhall to JSON or YAML

• ntha

  8.7 0.0 Delta-Lambda VS ntha

  The Ntha Programming Language

• epic

  8.6 0.0 Delta-Lambda VS epic

  Epic - a Supercombinator Compiler

• haskell-to-elm

  8.6 6.5 Delta-Lambda VS haskell-to-elm

  Generate Elm types, encoders, and decoders from Haskell types
  

• hLLVM

  8.5 0.0 Delta-Lambda VS hLLVM

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

• unbound

  8.5 0.0 Delta-Lambda VS unbound

  Replib: generic programming & Unbound: generic treatment of binders

• accelerate-io

  8.3 3.2 Delta-Lambda VS accelerate-io

  Read and write Accelerate arrays in various formats
  

• sunroof-examples

  8.2 0.0 Delta-Lambda VS sunroof-examples

  Tests for Sunroof
  

• peg

  8.2 0.0 Delta-Lambda VS peg

  A lazy non-deterministic concatenative programming language

• kempe

  8.1 4.4 Delta-Lambda VS kempe

  Kempe is a compiled stack-based language

• haskelm

  8.1 0.0 Delta-Lambda VS haskelm

  Haskell to Elm translation using Template Haskell. Contains both a library and executable.

• nom

  8.0 0.0 Delta-Lambda VS nom

  Haskell implementation of nominal datatypes and functions

• accelerate-fft

  7.9 0.0 Delta-Lambda VS accelerate-fft

  FFT library for Haskell based on the embedded array language Accelerate
  

• lazyboy

  7.9 0.0 Delta-Lambda VS lazyboy

  An EDSL implemented in Haskell for programming the Nintendo Game Boy.

• elm-syntax

  7.8 5.6 Delta-Lambda VS elm-syntax

  Library for generating Elm syntax from Haskell in a scope-safe way
  

• strict-ghc-plugin

  7.7 0.0 Delta-Lambda VS strict-ghc-plugin

  DISCONTINUED. Compiler plugin for making Haskell strict

• alms

  7.6 0.0 Delta-Lambda VS alms

  The Alms Programming Language

• feldspar-compiler

  7.5 0.0 Delta-Lambda VS feldspar-compiler

  This is the compiler for the Feldspar Language.
  

• hoe

  7.4 0.0 Delta-Lambda VS hoe

  Haskell One-liner Evaluator

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of Delta-Lambda or a related project?

WorkOS - The modern identity platform for B2B SaaS

sponsored workos.com

Popular Comparisons

• haskelm
  vs
  Elm
• hyper-haskell-server
  vs
  husk-scheme
• hint
  vs
  fst
• fst
  vs
  hint
• idris
  vs
  hackager

SaaSHub - Software Alternatives and Reviews

sponsored www.saashub.com