Generic support for programming with names and binders

unbound alternatives and similar packages

Based on the "Compiler" category

• idris

  10.0 8.4 unbound VS idris

  Functional Programming Language with Dependent Types

• Elm

  10.0 9.6 unbound VS Elm

  The Elm language module.

• haste-compiler

  9.9 1.2 unbound VS haste-compiler

  Haskell To ECMAScript compiler

• accelerate

  9.9 8.2 unbound VS accelerate

  An embedded language for accelerated array processing

• dhall

  9.9 9.4 unbound VS dhall

  A configuration language guaranteed to terminate

• kaleidoscope

  9.9 0.0 unbound VS kaleidoscope

  Haskell Kaleidoscope tutorial

• egison

  9.9 8.7 unbound VS egison

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

• pi-forall

  9.8 0.0 unbound VS pi-forall

  Demo implementation of typechecker for dependently-typed language

• hyper-haskell-server

  9.7 6.6 L5 unbound VS hyper-haskell-server

  Server back-end for the HyperHaskell graphical Haskell interpreter

• morte

  9.7 2.2 unbound VS morte

  A bare-bones calculus of constructions

• husk-scheme

  9.6 0.0 unbound VS husk-scheme

  R5RS Scheme interpreter, compiler, and library.

• ajhc

  9.6 1.5 unbound VS ajhc

  Haskell compiler that produce binary through C language

• sjsp

  9.6 3.4 unbound VS sjsp

  Simple JavaScript Profiler

• inspection-testing

  9.4 6.1 unbound VS inspection-testing

  GHC plugin to do inspection esting

• accelerate-llvm

  9.4 8.2 unbound VS accelerate-llvm

  Accelerate backend generating LLVM

• glambda

  9.4 3.4 unbound VS glambda

  A simply typed lambda calculus interpreter, written with GADTs

• sunroof-compiler

  9.3 0.0 unbound VS sunroof-compiler

  Monadic Javascript Compiler

• ghc-proofs

  9.3 1.2 unbound VS ghc-proofs

  GHC plugin to prove program equations by simplification

• bound

  9.3 4.2 unbound VS bound

  Making de Bruijn Succ Less

• accelerate-cuda

  9.2 0.0 unbound VS accelerate-cuda

  Accelerate backend for NVIDIA GPUs

• annah

  9.1 0.0 unbound VS annah

  Medium-level language that desugars to Morte

• accelerate-examples

  9.1 6.5 unbound VS accelerate-examples

  Examples using the Accelerate library

• dhall-nix

  9.0 2.0 unbound VS dhall-nix

  Dhall to Nix compiler

• CPL

  8.9 0.4 unbound VS CPL

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

• lambdacube-compiler

  8.9 3.1 unbound VS lambdacube-compiler

  LambdaCube 3D is a DSL to program GPUs

• llvm-hs-pretty

  8.8 3.0 unbound VS llvm-hs-pretty

  Pretty printer for LLVM IR.

• ntha

  8.8 0.0 unbound VS ntha

  A tiny statically typed functional programming language.

• dhall-json

  8.7 3.3 unbound VS dhall-json

  Compile Dhall to JSON or YAML

• epic

  8.6 0.0 unbound VS epic

  Compiler for a simple functional language

• hLLVM

  8.5 0.0 unbound VS hLLVM

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

• pcf

  8.4 0.0 unbound VS pcf

  A one file compiler for PCF

• sunroof-examples

  8.3 0.0 unbound VS sunroof-examples

  Tests for Sunroof

• peg

  8.0 0.0 unbound VS peg

  a lazy non-deterministic concatenative programming language

• haskelm

  7.8 0.0 unbound VS haskelm

  Elm to Haskell translation

• hint

  7.8 1.9 unbound VS hint

  Runtime Haskell interpreter (GHC API wrapper)

• feldspar-compiler

  7.7 4.3 unbound VS feldspar-compiler

  Compiler for the Feldspar language

• accelerate-io

  7.7 6.6 unbound VS accelerate-io

  Read and write Accelerate arrays in various formats

• strict-ghc-plugin

  7.6 0.0 unbound VS strict-ghc-plugin

  Compiler plugin for making Haskell strict

• core-compiler

  7.5 3.8 unbound VS core-compiler

  compile your own mini functional language with Core

• hoe

  7.4 0.0 unbound VS hoe

  hoe

• dhall-text

  7.3 2.2 unbound VS dhall-text

  Template text using Dhall

• accelerate-fft

  7.3 5.0 unbound VS accelerate-fft

  FFT using the Accelerate library

• alms

  7.2 2.5 unbound VS alms

  a practical affine language

• dhall-bash

  7.1 1.2 unbound VS dhall-bash

  Compile Dhall to Bash

• const-math-ghc-plugin

  6.7 0.0 unbound VS const-math-ghc-plugin

  Compiler plugin for constant math elimination

• egison-tutorial

  6.2 2.8 unbound VS egison-tutorial

  A tutorial program for the Egison programming language

• mappy

  6.0 4.3 unbound VS mappy

  A functional programming language focused around maps.

• hackager

  6.0 0.0 unbound VS hackager

  Hackage testing tool

• uu-cco

  5.7 0.0 unbound VS uu-cco

  Utilities for compiler construction

• whitespace

  5.7 0.0 unbound VS whitespace

  Whitespace, an esoteric programming language.

* 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.

Do you think we are missing an alternative of unbound or a related project?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• unbound
  vs
  uu-cco
• unbound
  vs
  hyper-haskell-server
• unbound
  vs
  dhall
• husk-scheme
  vs
  hyper-haskell-server
• fst
  vs
  hint

SaaSHub - Software Alternatives and Reviews More from our team