Popularity
8.5
Growing
Activity
1.2
-
40
8
11
Monthly Downloads: 96
Programming language: Coq
License: BSD 3-clause "New" or "Revised" License
Latest version: v0.2.3
unbound alternatives and similar packages
Based on the "Compiler" category.
Alternatively, view unbound alternatives based on common mentions on social networks and blogs.
-
husk-scheme
A full implementation of the Scheme programming language for the Haskell Platform. -
hyper-haskell-server
The strongly hyped Haskell interpreter. -
bound
Combinators for manipulating locally-nameless generalized de Bruijn terms -
lambdacube-compiler
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out: -
haskell-to-elm
Generate Elm types, encoders, and decoders from Haskell types -
haskelm
Haskell to Elm translation using Template Haskell. Contains both a library and executable. -
accelerate-fft
FFT library for Haskell based on the embedded array language Accelerate -
lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy. -
elm-syntax
Library for generating Elm syntax from Haskell in a scope-safe way -
feldspar-compiler
This is the compiler for the Feldspar Language.
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Promo
www.sonarlint.org
* 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 unbound or a related project?