Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "compilers-interpreters" keyword
egison 4.1.3
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...190 versions - Latest release: over 2 years ago - 4 dependent repositories - 156 thousand downloads total - 2 maintainers
Top 8.6% on hackage.haskell.org
100 versions - Latest release: over 8 years ago - 39 dependent repositories - 78.2 thousand downloads total - 131 stars on GitHub - 1 maintainer
llvm-general 3.5.1.2
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pa...100 versions - Latest release: over 8 years ago - 39 dependent repositories - 78.2 thousand downloads total - 131 stars on GitHub - 1 maintainer
idris 1.3.4
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...71 versions - Latest release: over 2 years ago - 24 dependent repositories - 68.5 thousand downloads total - 2 maintainers
husk-scheme 3.19.3
Husk is a dialect of Scheme written in Haskell that implements a superset of the R5RS standard....56 versions - Latest release: almost 8 years ago - 5 dependent repositories - 38.6 thousand downloads total - 302 stars on GitHub - 1 maintainer
Top 8.9% on hackage.haskell.org
45 versions - Latest release: over 8 years ago - 38 dependent repositories - 41.2 thousand downloads total - 131 stars on GitHub - 1 maintainer
llvm-general-pure 3.5.1.0
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pa...45 versions - Latest release: over 8 years ago - 38 dependent repositories - 41.2 thousand downloads total - 131 stars on GitHub - 1 maintainer
Top 3.4% on hackage.haskell.org
42 versions - Latest release: over 5 years ago - 11 dependent packages - 443 dependent repositories - 74 thousand downloads total - 256 stars on GitHub - 2 maintainers
hint 0.9.0
This library defines an Interpreter monad. It allows to load Haskell modules, browse them, type-c...42 versions - Latest release: over 5 years ago - 11 dependent packages - 443 dependent repositories - 74 thousand downloads total - 256 stars on GitHub - 2 maintainers
Top 5.4% on hackage.haskell.org
39 versions - Latest release: 10 months ago - 3 dependent packages - 166 dependent repositories - 37.1 thousand downloads total - 121 stars on GitHub - 3 maintainers
bound 2.0.7
We represent the target language itself as an ideal monad supplied by the user, and provide a Sco...39 versions - Latest release: 10 months ago - 3 dependent packages - 166 dependent repositories - 37.1 thousand downloads total - 121 stars on GitHub - 3 maintainers
llvm-tf 12.1.1
38 versions - Latest release: 8 months ago - 6 dependent packages - 20.4 thousand downloads total - 1 maintainerllvm 0.0.2
High-level bindings to the LLVM compiler toolkit. New in 3.2.0.0: Builds against LLVM 3.2 New i...37 versions - Latest release: over 16 years ago - 2 dependent packages - 5 dependent repositories - 27.5 thousand downloads total - 103 stars on GitHub - 4 maintainers
egison-tutorial 4.1.3
35 versions - Latest release: over 2 years ago - 25 thousand downloads total - 2 maintainersllvm-extra 0.10.1
32 versions - Latest release: about 4 years ago - 5 dependent packages - 18.1 thousand downloads total - 1 maintainerllvm-ffi 9.1.1
29 versions - Latest release: over 2 years ago - 2 dependent packages - 12.8 thousand downloads total - 1 maintainer
Top 3.5% on hackage.haskell.org
27 versions - Latest release: almost 15 years ago - 2 dependent packages - 203 dependent repositories - 31.9 thousand downloads total - 887 stars on GitHub - 2 maintainers
accelerate 0.4.0
Data.Array.Accelerate defines an embedded array language for computations for high-performance co...27 versions - Latest release: almost 15 years ago - 2 dependent packages - 203 dependent repositories - 31.9 thousand downloads total - 887 stars on GitHub - 2 maintainers
Top 6.5% on hackage.haskell.org
24 versions - Latest release: over 6 years ago - 2 dependent packages - 152 dependent repositories - 32.1 thousand downloads total - 70 stars on GitHub - 6 maintainers
hoopl 3.10.2.2
Higher-order optimization library See Norman Ramsey, Joao Dias, and Simon Peyton Jones. "Ho...24 versions - Latest release: over 6 years ago - 2 dependent packages - 152 dependent repositories - 32.1 thousand downloads total - 70 stars on GitHub - 6 maintainers
language-dickinson 1.4.3.0
Dickinson is a language for generative (random) literature24 versions - Latest release: over 1 year ago - 1 dependent repositories - 5.28 thousand downloads total - 1 maintainer
shell-monad 0.6.10
21 versions - Latest release: about 2 years ago - 1 dependent repositories - 13 thousand downloads total - 1 maintainer
Top 9.9% on hackage.haskell.org
20 versions - Latest release: over 7 years ago - 2 dependent packages - 25 dependent repositories - 16.1 thousand downloads total - 44 stars on GitHub - 2 maintainers
unbound 0.5.1
Specify the binding structure of your data type with an expressive set of type combinators, and U...20 versions - Latest release: over 7 years ago - 2 dependent packages - 25 dependent repositories - 16.1 thousand downloads total - 44 stars on GitHub - 2 maintainers
graph-rewriting-lambdascope 0.5.11
20 versions - Latest release: 2 months ago - 14.3 thousand downloads total - 1 maintainer
Top 8.7% on hackage.haskell.org
19 versions - Latest release: over 4 years ago - 43 dependent repositories - 15.1 thousand downloads total - 494 stars on GitHub - 2 maintainers
llvm-hs 9.0.1
Haskell bindings for LLVM19 versions - Latest release: over 4 years ago - 43 dependent repositories - 15.1 thousand downloads total - 494 stars on GitHub - 2 maintainers
graph-rewriting-ski 0.6.8
18 versions - Latest release: 2 months ago - 13.6 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 9.9% on hackage.haskell.org
15 versions - Latest release: about 7 years ago - 1 dependent package - 27 dependent repositories - 15.2 thousand downloads total - 57 stars on GitHub - 2 maintainers
accelerate-cuda 0.17.0.0
DEPRECATED: Accelerate backend for NVIDIA GPUs15 versions - Latest release: about 7 years ago - 1 dependent package - 27 dependent repositories - 15.2 thousand downloads total - 57 stars on GitHub - 2 maintainers
alms 0.6.9
Alms is an experimental, general-purpose programming language that supports practical affine type...15 versions - Latest release: almost 6 years ago - 12.3 thousand downloads total - 1 maintainer
epic 0.9.3
14 versions - Latest release: about 12 years ago - 6 dependent repositories - 16.3 thousand downloads total - 2 maintainers
Top 9.0% on hackage.haskell.org
13 versions - Latest release: over 4 years ago - 62 dependent repositories - 11.6 thousand downloads total - 494 stars on GitHub - 2 maintainers
llvm-hs-pure 9.0.0
Haskell bindings for LLVM13 versions - Latest release: over 4 years ago - 62 dependent repositories - 11.6 thousand downloads total - 494 stars on GitHub - 2 maintainers
exploring-interpreters 1.5.0.1
12 versions - Latest release: 21 days ago - 2 dependent packages - 1 dependent repositories - 1.07 thousand downloads total - 2 maintainershint-server 1.4.3
This library provides a server process (implemented using eprocess) that can receive and run acti...12 versions - Latest release: over 7 years ago - 2 dependent repositories - 9.85 thousand downloads total - 2 maintainers
graph-rewriting-ww 0.3.8
11 versions - Latest release: 2 months ago - 7.85 thousand downloads total - 0 stars on GitHub - 1 maintainergraph-rewriting-trs 0.1.10
11 versions - Latest release: 2 months ago - 7.79 thousand downloads total - 1 maintainerddc-core 0.4.3.1
11 versions - Latest release: over 7 years ago - 1 dependent repositories - 8.39 thousand downloads total - 1 maintainerunification-fd 0.11.2
Generic functions for single-sorted first-order structural unification (think of programming in P...11 versions - Latest release: almost 2 years ago - 2 dependent packages - 34 dependent repositories - 10.3 thousand downloads total - 2 maintainers
ddc-core-simpl 0.4.3.1
10 versions - Latest release: over 7 years ago - 7.42 thousand downloads total - 1 maintainerfuncons-tools 0.2.0.15
10 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 4.55 thousand downloads total - 1 maintainerddc-driver 0.4.3.1
9 versions - Latest release: over 7 years ago - 6.6 thousand downloads total - 1 maintainerdedukti 1.1.4
9 versions - Latest release: about 13 years ago - 7.18 thousand downloads total - 1 maintainerddc-base 0.4.2.1
9 versions - Latest release: about 8 years ago - 1 dependent repositories - 6.9 thousand downloads total - 1 maintainerddc-tools 0.4.3.1
9 versions - Latest release: over 7 years ago - 6.56 thousand downloads total - 1 maintainerddc-build 0.4.3.1
8 versions - Latest release: over 7 years ago - 1 dependent repositories - 5.85 thousand downloads total - 2 maintainershaskeem 0.7.16
This is a moderately complete small scheme interpreter. It implements most of R6RS, with the exce...8 versions - Latest release: over 14 years ago - 6.29 thousand downloads total - 1 maintainer
Jikka 5.6.0.0
Please see the README on GitHub at https://github.com/kmyk/Jikka8 versions - Latest release: over 2 years ago - 1.13 thousand downloads total - 151 stars on GitHub - 1 maintainer
risc386 0.0.20230928
risc386 is a symbolic Intel(R) 386 assembler interpreter which allows infinitely many registers (...8 versions - Latest release: 8 months ago - 3.38 thousand downloads total - 4 stars on GitHub - 1 maintainer
mappy 0.1.3.1
Please see README.md8 versions - Latest release: about 8 years ago - 1 dependent repositories - 4.3 thousand downloads total - 12 stars on GitHub - 1 maintainer
amrun 0.0.0.7
8 versions - Latest release: over 4 years ago - 6.08 thousand downloads total - 3 maintainerstransf 0.13.1
8 versions - Latest release: over 9 years ago - 5.53 thousand downloads total - 1 maintainerddc-core-eval 0.4.1.3
7 versions - Latest release: over 9 years ago - 5.51 thousand downloads total - 1 maintainerbrainfuck-monad 0.5.2
7 versions - Latest release: about 4 years ago - 4.94 thousand downloads total - 1 maintaineraccelerate-llvm-ptx 1.3.0.0
This library implements a backend for the Accelerate language which generates LLVM-IR targeting C...7 versions - Latest release: over 3 years ago - 1 dependent package - 8 dependent repositories - 6.02 thousand downloads total - 1 maintainer
ddc-core-llvm 0.4.3.1
7 versions - Latest release: over 7 years ago - 5.09 thousand downloads total - 1 maintainerFungi 1.0.6
Funge-98 interpreter and debugger written in Haskell7 versions - Latest release: over 9 years ago - 6.55 thousand downloads total - 4 stars on GitHub - 1 maintainer
oplang 0.5.0.0
Please see the README on GitHub at https://github.com/aionescu/oplang#readme7 versions - Latest release: 21 days ago - 366 downloads total - 17 stars on GitHub - 1 maintainer
ddc-code 0.4.3.2
7 versions - Latest release: over 7 years ago - 5.09 thousand downloads total - 1 maintainerunlambda 0.1.4
6 versions - Latest release: about 9 years ago - 2 dependent packages - 18 dependent repositories - 8.86 thousand downloads total - 3 maintainersshimmer 0.1.2
The Reflective Lambda Machine6 versions - Latest release: about 6 years ago - 3.24 thousand downloads total - 8 stars on GitHub - 1 maintainer
funcons-values 0.1.0.9
6 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 2.65 thousand downloads total - 1 maintainerhyper-haskell-server 0.2.3.1 💰
The strongly hyped Haskell interpreter.6 versions - Latest release: 3 months ago - 3 thousand downloads total - 358 stars on GitHub - 1 maintainer
ddc-core-salt 0.4.3.1
6 versions - Latest release: over 7 years ago - 4.76 thousand downloads total - 1 maintaineraccelerate-llvm-native 1.3.0.0
This library implements a backend for the Accelerate language which generates LLVM-IR targeting m...6 versions - Latest release: over 3 years ago - 1 dependent package - 13 dependent repositories - 4.93 thousand downloads total - 1 maintainer
CPL 0.0.9
CPL is a functional programming language based on category theory. Data types are declared in a c...5 versions - Latest release: over 6 years ago - 4.74 thousand downloads total - 112 stars on GitHub - 1 maintainer
uu-cco 0.1.0.5
Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)5 versions - Latest release: over 8 years ago - 2 dependent repositories - 3.4 thousand downloads total - 7 stars on GitHub - 1 maintainer
llvm-base 3.2.0.2
FFI bindings to the LLVM compiler toolkit. We try to stay up to date with LLVM releases. The cu...5 versions - Latest release: almost 11 years ago - 1 dependent package - 6 dependent repositories - 5.74 thousand downloads total - 103 stars on GitHub - 3 maintainers
ddc-core-flow 0.4.3.1
5 versions - Latest release: over 7 years ago - 1 dependent repositories - 3.87 thousand downloads total - 1 maintaineraccelerate-llvm 1.3.0.0
This library implements direct LLVM IR generation for the Accelerate language. For further inform...5 versions - Latest release: over 3 years ago - 1 dependent package - 7 dependent repositories - 5.67 thousand downloads total - 1 maintainer
brainfuck 0.1.0.4
5 versions - Latest release: 6 months ago - 3 dependent packages - 22 dependent repositories - 7.9 thousand downloads total - 3 maintainerscore-haskell 0.6.4
5 versions - Latest release: about 10 years ago - 4.14 thousand downloads total - 1 maintainerddc-core-tetra 0.4.3.1
5 versions - Latest release: over 7 years ago - 3.8 thousand downloads total - 1 maintainerHaschoo 0.1.2
Haschoo is a minimalist R5RS interpreter written in Haskell for a university course.4 versions - Latest release: almost 12 years ago - 3.85 thousand downloads total - 1 maintainer
hoe 1.1.0
Haskell One-liner Evaluator4 versions - Latest release: almost 9 years ago - 2.95 thousand downloads total - 28 stars on GitHub - 1 maintainer
fst 0.10.0.1
4 versions - Latest release: about 9 years ago - 3 dependent repositories - 4.14 thousand downloads total - 3 maintainersddc-source-tetra 0.4.3.1
4 versions - Latest release: over 7 years ago - 3.17 thousand downloads total - 1 maintainerNXTDSL 0.4
Haskell LegoDSL4 versions - Latest release: over 10 years ago - 3.76 thousand downloads total - 5 stars on GitHub - 1 maintainer
llvm-dsl 0.1.2
4 versions - Latest release: about 1 month ago - 2 dependent packages - 369 downloads total - 1 maintainerddci-core 0.2.1.2
4 versions - Latest release: over 11 years ago - 3.29 thousand downloads total - 1 maintainerHARM 0.1.4
A simple ARM virtual machine designed for teaching assembly. See http:/tinyurl.com639v6u for deta...4 versions - Latest release: over 15 years ago - 4.07 thousand downloads total - 1 maintainer
hiccup 0.40
Interpreter for a subset of tcl4 versions - Latest release: about 16 years ago - 1 dependent repositories - 3.22 thousand downloads total - 1 maintainer
Delta-Lambda 0.3.0.0
A demonstration package for the type system delta-lambda (of N.G. De-bruijn) in ~1000 lines of ha...3 versions - Latest release: about 7 years ago - 2.7 thousand downloads total - 1 maintainer
yabi 0.2.0.0
Yet Another Brainfuck Interpreter3 versions - Latest release: almost 7 years ago - 2.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
simple-stacked-vm 0.1.2
3 versions - Latest release: almost 6 years ago - 1 dependent repositories - 2.47 thousand downloads total - 1 maintainerbound-gen 0.1.0.2
It's quite common when working with bound to need to unwrap a Scope. In order to ensure that this...3 versions - Latest release: about 9 years ago - 2.5 thousand downloads total - 1 maintainer
LambdaShell 0.9.3
3 versions - Latest release: almost 10 years ago - 3.12 thousand downloads total - 1 maintainerghclive 0.1.0.2
ghclive is an interactive multi-user Haskell interpreter in a browser. It mixes a pastebin with a...3 versions - Latest release: over 11 years ago - 1 dependent repositories - 2.68 thousand downloads total - 51 stars on GitHub - 1 maintainer
nominal 0.3.0.0
An efficient and easy-to-use library for defining datatypes with binders, and automatically handl...3 versions - Latest release: over 1 year ago - 1 dependent repositories - 1.27 thousand downloads total - 1 maintainer
ghci-haskeline 0.1.1
3 versions - Latest release: about 15 years ago - 2.86 thousand downloads total - 1 maintainerintcode 0.3.0.0
Implementation of the Intcode virtual machine as defined by Advent of Code https://adventofcode.c...3 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.04 thousand downloads total - 9 stars on GitHub - 1 maintainer
staticanalysis 0.0.0.3
3 versions - Latest release: over 10 years ago - 1 dependent repositories - 2.43 thousand downloads total - 1 maintainerfuncons-simple 0.1.0.7
Component-based specification of programming languages3 versions - Latest release: over 5 years ago - 1.71 thousand downloads total - 5 stars on GitHub - 1 maintainer
gulcii 0.3
GULCII is an untyped lambda calculus interpreter supporting interactive modification of a running...3 versions - Latest release: over 6 years ago - 2.65 thousand downloads total - 1 maintainer
glambda 1.0.2
This is an interpreter for the simply-typed lambda calculus. It is written making heavy use of ge...3 versions - Latest release: over 6 years ago - 1 dependent repositories - 2.63 thousand downloads total - 216 stars on GitHub - 1 maintainer
vintage-basic 1.0.3
An interpreter for what is essentially Microsoft BASIC v2, what you might find on a computer in t...3 versions - Latest release: almost 7 years ago - 2.91 thousand downloads total - 1 maintainer
lambda-ast 0.0.12
3 versions - Latest release: about 12 years ago - 1 dependent repositories - 2.68 thousand downloads total - 1 maintainerdcpu16 0.1.0.2
DCPU-16 Emulator & Assembler3 versions - Latest release: over 7 years ago - 1 dependent repositories - 2.35 thousand downloads total - 3 stars on GitHub - 1 maintainer
textmatetags 0.0.1
A simple Haskell program to provide tags for Haskell code completion in TextMate3 versions - Latest release: about 13 years ago - 2.47 thousand downloads total - 8 stars on GitHub - 1 maintainer
hypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme3 versions - Latest release: 10 months ago - 1 dependent repositories - 368 downloads total - 106 stars on GitHub - 1 maintainer
ddc-war 0.4.1.3
3 versions - Latest release: over 9 years ago - 2.69 thousand downloads total - 1 maintainernom 0.1.0.2
Haskell implementation of nominal datatypes and functions3 versions - Latest release: almost 4 years ago - 1 dependent repositories - 485 downloads total - 39 stars on GitHub - 1 maintainer
compilation 0.0.0.3
3 versions - Latest release: over 10 years ago - 1 dependent repositories - 2.73 thousand downloads total - 1 maintainerddc-interface 0.4.1.3
3 versions - Latest release: over 9 years ago - 2.73 thousand downloads total - 1 maintainerhjs 0.2.1
A Javascript parser and interpreter. Works as per ECMA-262 plus some parts of JS >=1.5.3 versions - Latest release: about 16 years ago - 2.68 thousand downloads total - 2 maintainers
llvm-ffi-tools 0.0.1
3 versions - Latest release: 8 months ago - 1.43 thousand downloads total - 1 maintainerzot 0.0.3
Zot language (http://semarch.linguistics.fas.nyu.edu/barker/Iota/zot.html) And try and3 versions - Latest release: about 8 years ago - 20 dependent repositories - 3.18 thousand downloads total - 1 maintainer
pesca 4.0.1
Pesca is a program that helps in the construction of proofs in sequent calculus. It works both as...2 versions - Latest release: almost 16 years ago - 2.18 thousand downloads total - 3 maintainers
cnc-spec-compiler 0.2.0.1
2 versions - Latest release: almost 13 years ago - 1.97 thousand downloads total - 1 maintainer
Related Keywords
library
95
bsd3
88
program
84
mit
32
deprecated
25
language
21
code-generation
16
gpl
9
haskell
8
data
7
parallelism
6
concurrency
6
application
5
accelerate
4
interpreter
4
programming-language
3
llvm
3
text
3
algorithms
3
lisp
2
languages
2
functional-programming
2
compiler
2
theorem-provers
2
unification
2
logic
2
llvm-ir
2
llvm-hs
2
haskell-bindings
2
generics
2
scheme
2
cross-platform
1
electron
1
gui
1
interactive-coding
1
work-in-progress
1
brainfuck
1
stack
1
web
1
concatenative
1
programming-language-development
1
programming-languages
1
bindings
1
type-checker
1
type-inference
1
assembler
1
diagnostics
1
frp
1
parsing
1
pretty-printer
1
dependent-types
1
ghci
1
cuda
1
gpu
1
gpu-computing
1
hacktoberfest
1
parallel-computing
1
algebra
1
competitive-programming
1
optimization
1
programming-contests
1
transpiler
1
education
1
haskell-library
1
mappy
1
repl
1
esoteric-language
1
stack-based
1
functional
1
reflection
1