hackage.haskell.org "language" keyword
chalmers-lava2000 1.6.1
For more info, see the tutorial: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf13 versions - Latest release: almost 10 years ago - 1 dependent repositories - 10.8 thousand downloads total - 1 maintainer
copilot-visualizer 4.6.1
Visualizer for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL...5 versions - Latest release: about 2 months ago - 57 downloads total - 1 maintainer
copilot-core 4.6.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...45 versions - Latest release: about 2 months ago - 8 dependent packages - 9 dependent repositories - 14.9 thousand downloads total - 3 maintainers
copilot-theorem 4.6.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...37 versions - Latest release: about 2 months ago - 3 dependent packages - 4 dependent repositories - 6.47 thousand downloads total - 4 maintainers
copilot-verifier 4.6.1
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...13 versions - Latest release: about 2 months ago - 1 dependent package - 467 downloads total - 3 maintainers
copilot-prettyprinter 4.6.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...22 versions - Latest release: about 2 months ago - 4 dependent packages - 3 dependent repositories - 1.53 thousand downloads total - 1 maintainer
copilot-libraries 4.6.1
Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific l...44 versions - Latest release: about 2 months ago - 2 dependent packages - 4 dependent repositories - 13.1 thousand downloads total - 4 maintainers
copilot-language 4.6.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...50 versions - Latest release: about 2 months ago - 6 dependent packages - 6 dependent repositories - 18.6 thousand downloads total - 4 maintainers
copilot-interpreter 4.6.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...23 versions - Latest release: about 2 months ago - 1 dependent package - 3 dependent repositories - 1.78 thousand downloads total - 1 maintainer
copilot 4.6.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...61 versions - Latest release: about 2 months ago - 5 dependent packages - 5 dependent repositories - 29.7 thousand downloads total - 4 maintainers
copilot-c99 4.6.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...50 versions - Latest release: about 2 months ago - 5 dependent packages - 5 dependent repositories - 17 thousand downloads total - 4 maintainers
copilot-bluespec 4.6.1
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...13 versions - Latest release: about 2 months ago - 429 downloads total - 3 maintainers
syntactic 3.8.4
Generic representation and manipulation of abstract syntax53 versions - Latest release: almost 4 years ago - 5 dependent repositories - 38.6 thousand downloads total - 27 stars on GitHub - 2 maintainers
language-cil 0.4.0
Manipulating Common Intermediate Language AST in Haskell5 versions - Latest release: over 9 years ago - 1 dependent repositories - 3.99 thousand downloads total - 22 stars on GitHub - 1 maintainer
Top 1.5% on hackage.haskell.org
58 versions - Latest release: about 1 year ago - 25 dependent packages - 219 dependent repositories - 92.9 thousand downloads total - 7 maintainers
haskell-src-meta 0.8.15
The translation from haskell-src-exts abstract syntax to template-haskell abstract syntax isn't 1...58 versions - Latest release: about 1 year ago - 25 dependent packages - 219 dependent repositories - 92.9 thousand downloads total - 7 maintainers
jvm-binary 0.10.0
A library for reading Java class-files.13 versions - Latest release: almost 5 years ago - 1 dependent repositories - 6.43 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 1.3% on hackage.haskell.org
hscolour 1.24.4
26 versions - Latest release: over 8 years ago - 8 dependent packages - 357 dependent repositories - 130 thousand downloads total - 3 maintainersivory 0.1.0.9
8 versions - Latest release: almost 7 years ago - 7 dependent repositories - 6.45 thousand downloads total - 2 maintainersphonetic-languages-simplified-base 0.9.0.0
The common for different realizations of PhLADiPreLiO functionality. Just the necessary one.17 versions - Latest release: about 2 years ago - 4 dependent packages - 2.54 thousand downloads total - 1 maintainer
crucible-llvm 0.7.1
Library providing LLVM-specific extensions to the crucible core library for Crucible-based simula...5 versions - Latest release: 12 months ago - 2 dependent packages - 274 downloads total - 5 maintainers
simple-c-value 0.0.0.1
A simple c value type in Haskell1 version - Latest release: almost 14 years ago - 1.1 thousand downloads total - 1 stars on GitHub - 1 maintainer
arduino-copilot 1.7.9
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or c...26 versions - Latest release: 12 months ago - 5.79 thousand downloads total - 1 maintainer
purekell 0.1.0.0
Parses Haskell and PureScript expressions into a shared AST, then prints them back in either lang...1 version - Latest release: 1 day ago - 0 downloads total - 1 maintainer
smt-lib 0.0.2
3 versions - Latest release: over 15 years ago - 2 dependent repositories - 2.58 thousand downloads total - 1 maintainerelm-street 0.0.1
`Elm-street` allows you to generate automatically derived from Haskell types definitions of Elm d...13 versions - Latest release: almost 7 years ago - 1 dependent package - 6 dependent repositories - 3.24 thousand downloads total - 90 stars on GitHub - 2 maintainers
foma 0.1.2.0
Simple Haskell bindings for Foma.3 versions - Latest release: about 5 years ago - 1.87 thousand downloads total - 2 stars on GitHub - 1 maintainer
recursors 0.1.0.0
Auto-generate final encodings and their isomorphisms using Template Haskell1 version - Latest release: about 9 years ago - 1 dependent repositories - 897 downloads total - 1 stars on GitHub - 1 maintainer
Eq 1.1.3
7 versions - Latest release: almost 13 years ago - 6.68 thousand downloads total - 1 maintainerth-strict-compat 0.1.0.1
See README2 versions - Latest release: over 8 years ago - 1 dependent package - 6 dependent repositories - 2.13 thousand downloads total - 0 stars on GitLab.com - 1 maintainer
Top 7.3% on hackage.haskell.org
hsp 0.10.0
18 versions - Latest release: over 12 years ago - 2 dependent packages - 50 dependent repositories - 20.8 thousand downloads total - 3 maintainersmsgpack-idl 0.2.1
3 versions - Latest release: about 13 years ago - 2 dependent repositories - 2.6 thousand downloads total - 2 maintainersegison-pattern-src-haskell-mode 0.2.2.0
egison-pattern-src-haskell-mode provides a parser and pretty printer for egison-pattern-src to us...7 versions - Latest release: 3 months ago - 1 dependent repositories - 1.52 thousand downloads total - 5 stars on GitHub - 3 maintainers
phonetic-languages-simplified-properties-array-common 0.4.1.0
5 versions - Latest release: almost 3 years ago - 1 dependent package - 448 downloads total - 1 maintainersunroof-server 0.2.1
Utilities to use Sunroof together with Kansas-Comet to create web applications.2 versions - Latest release: over 11 years ago - 2 dependent repositories - 1.79 thousand downloads total - 1 stars on GitHub - 1 maintainer
copilot-cbmc 2.2.1
Depends on CBMC http://www.cprover.org/cbmc/. Generates a driver to prove the Atom and SBV backe...9 versions - Latest release: over 8 years ago - 1 dependent package - 8.1 thousand downloads total - 4 maintainers
hopencc 0.2.0.0
Haskell libopencc binding2 versions - Latest release: over 6 years ago - 1.51 thousand downloads total - 1 stars on GitHub - 1 maintainer
web-routes-generics 0.1.0.2
3 versions - Latest release: almost 2 years ago - 1.04 thousand downloads total - 1 maintainerweb-routes-happstack 0.23.12
21 versions - Latest release: over 6 years ago - 87 dependent repositories - 18.3 thousand downloads total - 1 maintainerhaskell-tools-rewrite 1.1.1.0
Developer tools for Haskell23 versions - Latest release: about 7 years ago - 15 dependent repositories - 14.2 thousand downloads total - 250 stars on GitHub - 1 maintainer
ewe 0.3.1.1
An Haskell Implementation of the EWE (Kent) Programming Language, an extension of the RAM Languag...13 versions - Latest release: about 7 years ago - 11.6 thousand downloads total - 8 stars on GitHub - 1 maintainer
clash 0.1.3.11
14 versions - Latest release: over 14 years ago - 1 dependent repositories - 11.6 thousand downloads total - 1 maintainerstylist 2.7.0.1
Reusable CSS engine allowing you to parse CSS stylesheets and to query the style properties for a...15 versions - Latest release: over 2 years ago - 2 dependent packages - 1 dependent repositories - 2.97 thousand downloads total - 1 maintainer
Top 4.1% on hackage.haskell.org
34 versions - Latest release: almost 2 years ago - 36 dependent packages - 87 dependent repositories - 21 thousand downloads total - 1,061 stars on GitHub - 4 maintainers
polysemy 1.9.2.0
Please see the README on GitHub at https://github.com/polysemy-research/polysemy#readme34 versions - Latest release: almost 2 years ago - 36 dependent packages - 87 dependent repositories - 21 thousand downloads total - 1,061 stars on GitHub - 4 maintainers
lambda-calculator 3.0.0
A simple implementation of the untyped lambda calculus9 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 3.83 thousand downloads total - 10 stars on GitHub - 1 maintainer
raw-feldspar 0.4.1
An implementation of the Feldspar EDSL with focus on resource-awareness. Examples can be found i...7 versions - Latest release: almost 4 years ago - 1 dependent repositories - 3.45 thousand downloads total - 38 stars on GitHub - 1 maintainer
rope-utf16-splay 0.4.0.0 💰
Ropes optimised for updating using UTF-16 code units and row/column pairs. This implementation u...5 versions - Latest release: about 4 years ago - 4 dependent packages - 10 dependent repositories - 13.4 thousand downloads total - 14 stars on GitHub - 2 maintainers
hinter 0.1.0.0
Fork of hint This library defines an Interpreter monad. It allows to load Haskell modules, brows...1 version - Latest release: almost 8 years ago - 840 downloads total
zephyr-copilot 1.0.10
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...11 versions - Latest release: 12 months ago - 970 downloads total - 1 maintainer
language-sqlite 1.1
2 versions - Latest release: about 15 years ago - 2 dependent repositories - 2.03 thousand downloads total - 1 maintainerfree-theorems-seq-webui 1.0.0.2
This package provides access to the functionality of http://hackage.haskell.org/package/free-theo...3 versions - Latest release: almost 15 years ago - 2.65 thousand downloads total - 2 maintainers
pgf2 1.3.0
GF, Grammatical Framework, is a programming language for multilingual grammar applications. GF gr...3 versions - Latest release: almost 5 years ago - 2 dependent repositories - 560 downloads total - 1 maintainer
reflex-jsx 0.1.0.0
Use jsx-like syntax in Reflex1 version - Latest release: almost 10 years ago - 1 dependent repositories - 934 downloads total - 50 stars on GitHub - 1 maintainer
ivory-bitdata 0.2.0.0
1 version - Latest release: almost 12 years ago - 1 dependent repositories - 1.19 thousand downloads total - 2 maintainersjvm-parser 0.2.1
1 version - Latest release: over 11 years ago - 6 dependent repositories - 1.13 thousand downloads total - 3 maintainersivory-artifact 0.1.0.5
3 versions - Latest release: about 9 years ago - 4 dependent repositories - 2.45 thousand downloads total - 2 maintainershaskellish 0.3.2
A library for parsing miniature and esoteric languages that are similar to Haskell17 versions - Latest release: about 4 years ago - 4 dependent repositories - 4.22 thousand downloads total - 8 stars on GitHub - 1 maintainer
first-class-instances 1.0.0.1
Reify classes as data types to manipulate instances as values3 versions - Latest release: 7 months ago - 1 dependent repositories - 425 downloads total - 2 maintainers
phonetic-languages-rhythmicity 0.11.0.2
Allows to estimate (somewhat to say, evaluate) the rhythmicity properties for the text. Inspired ...27 versions - Latest release: almost 3 years ago - 3 dependent packages - 5.47 thousand downloads total - 1 maintainer
nirum 0.5.0
Nirum is an IDL compiler and RPC/distributed object framework for microservices, built on top of ...9 versions - Latest release: over 7 years ago - 4.58 thousand downloads total - 2 maintainers
bricks-internal-test 0.0.0.4
Bricks is a lazy functional language based on Nix.1 version - Latest release: about 8 years ago - 933 downloads total - 6 stars on GitHub - 1 maintainer
elm-get 0.1.3
Command line tool to share Elm libraries7 versions - Latest release: over 11 years ago - 7.63 thousand downloads total - 212 stars on GitHub - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: over 14 years ago - 20.8 thousand downloads total - 57 stars on GitHub - 1 maintainer
syntax-trees 0.1.2
2 versions - Latest release: over 15 years ago - 1.92 thousand downloads total - 2 maintainersdrmaa 0.3.0
5 versions - Latest release: over 7 years ago - 3.46 thousand downloads total - 1 maintainerhalide-arrayfire 0.0.2.0
This package provides instances of Language.Halide.IsHalideBuffer for arrays from the arrayfire l...1 version - Latest release: almost 3 years ago - 105 downloads total - 20 stars on GitHub - 1 maintainer
phonetic-languages-simplified-generalized-examples-common 0.6.1.0
12 versions - Latest release: almost 3 years ago - 1.68 thousand downloads total - 1 maintainernetlist 0.3.1
2 versions - Latest release: over 14 years ago - 6 dependent repositories - 2.44 thousand downloads total - 3 maintainershydrogen-cli 0.14
Package maintainers For package maintainers and hackage trustees Candidates3 versions - Latest release: about 11 years ago - 1.97 thousand downloads total - 1 maintainer
HJVM 0.1
Uses FFI to access JNI to create a JVM. Then the library lets you create and manipulate Java obje...1 version - Latest release: almost 14 years ago - 1 dependent repositories - 1.38 thousand downloads total - 14 stars on GitHub - 1 maintainer
pro-abstract 0.3.0.0
8 versions - Latest release: about 4 years ago - 634 downloads total - 1 maintainerweb-routes-hsp 0.24.6
17 versions - Latest release: almost 11 years ago - 29 dependent repositories - 14.8 thousand downloads total - 1 maintainerphladiprelio-general-shared 0.1.2.0
Is intended to be used by both old phonetic-languages-simplified-generalized-examples-array and n...3 versions - Latest release: about 2 years ago - 1 dependent package - 211 downloads total - 1 maintainer
symantic-lib 0.0.5.20190614
6 versions - Latest release: over 6 years ago - 3.32 thousand downloads total - 1 maintainermorley-upgradeable 0.3
Basic infrastructure for writing upgradeable contracts in Morley-based eDSL.1 version - Latest release: almost 5 years ago - 1 dependent repositories - 289 downloads total - 0 stars on gitlab.com - 2 maintainers
Top 6.4% on hackage.haskell.org
language-c-quote 0.12.2
55 versions - Latest release: almost 8 years ago - 2 dependent packages - 135 dependent repositories - 53.5 thousand downloads total - 59 stars on GitHub - 2 maintainersLC3 0.1.0.2
Haskell implementation of the LC-3 VM3 versions - Latest release: about 7 years ago - 1.96 thousand downloads total - 1 maintainer
abt 0.1.1.0
5 versions - Latest release: about 11 years ago - 1 dependent repositories - 4.59 thousand downloads total - 1 maintainerhascalam 0.1.1.2
Use a script to convert from Scalameta Source string to mirroring Haskell classes, types and inst...3 versions - Latest release: over 1 year ago - 174 downloads total - 0 stars on GitHub - 1 maintainer
ministg 0.3
ministg is an interpreter for a simple high-level operational semantics for the STG machine. The ...3 versions - Latest release: almost 14 years ago - 1 dependent repositories - 2.56 thousand downloads total - 1 maintainer
data-treify 0.3.4
4 versions - Latest release: almost 12 years ago - 1 dependent repositories - 3.62 thousand downloads total - 1 maintainerhaskell-typescript 0.1.0.0
1 version - Latest release: over 12 years ago - 1 dependent repositories - 1.16 thousand downloads total - 1 maintainerrail-compiler-editor 0.3.0.0
A compiler and a graphical editor for the esoteric programming language rail.2 versions - Latest release: over 11 years ago - 1.76 thousand downloads total - 4 stars on GitHub - 1 maintainer
egison-pattern-src-th-mode 0.2.2.0
egison-pattern-src-th-mode provides a parser and pretty printer for egison-pattern-src to use it ...7 versions - Latest release: 3 months ago - 2 dependent repositories - 1.95 thousand downloads total - 5 stars on GitHub - 3 maintainers
graphql-spice 1.0.7.0
8 versions - Latest release: about 1 month ago - 1 dependent package - 573 downloads total - 1 maintainerlanguage-sygus 0.1.1.3
5 versions - Latest release: over 3 years ago - 1 dependent package - 2 dependent repositories - 2.18 thousand downloads total - 1 maintainerlanguage-ocaml 0.2.0
2 versions - Latest release: about 7 years ago - 1.16 thousand downloads total - 1 maintainergoogle-search 0.2.0.0
EDSL for Google and GMail search expressions4 versions - Latest release: almost 10 years ago - 1 dependent repositories - 3.13 thousand downloads total - 2 stars on GitHub - 1 maintainer
Top 9.1% on hackage.haskell.org
23 versions - Latest release: 4 days ago - 2 dependent packages - 33 dependent repositories - 12.4 thousand downloads total - 101 stars on GitHub - 2 maintainers
elm-bridge 0.8.5
Building the bridge from Haskell to Elm and back. Define types once, and derive the aeson and elm...23 versions - Latest release: 4 days ago - 2 dependent packages - 33 dependent repositories - 12.4 thousand downloads total - 101 stars on GitHub - 2 maintainers
forsyde-deep 0.2.0
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...1 version - Latest release: about 7 years ago - 1 dependent repositories - 758 downloads total - 3 maintainers
mmsyn7s 0.9.1.0
A program and a library that show a sorted list of the Ukrainian sounds representations that can ...24 versions - Latest release: over 5 years ago - 5.95 thousand downloads total - 1 maintainer
gherkin 0.0.0.2
1 version - Latest release: 2 months ago - 6 downloads total - 1 maintainerorg2anki 0.1.0
A basic parser of the markup-related subset of org-mode and an Anki one-side flashcards exporter.1 version - Latest release: over 9 years ago - 1.01 thousand downloads total - 6 stars on GitHub - 1 maintainer
hakaru 0.7.0
9 versions - Latest release: over 5 years ago - 3 dependent repositories - 6.11 thousand downloads total - 2 maintainershssqlppp-th 0.6.2
hssqlppp extras which need template-haskell Documentation, examples on the homepage: http://jake...3 versions - Latest release: over 6 years ago - 2 dependent repositories - 2.15 thousand downloads total - 111 stars on GitHub - 1 maintainer
haskell-tools-debug 1.1.1.0
Developer tools for Haskell20 versions - Latest release: about 7 years ago - 12 dependent repositories - 12.6 thousand downloads total - 250 stars on GitHub - 1 maintainer
phonetic-languages-ukrainian 0.3.0.0
6 versions - Latest release: over 5 years ago - 1.34 thousand downloads total - 1 maintainerhermit-syb 0.1.0.0
1 version - Latest release: over 12 years ago - 1.09 thousand downloads total - 1 maintainerhfmt 0.2.2
Inspired by gofmt. Built using hlint, hindent, and stylish-haskell.13 versions - Latest release: almost 8 years ago - 3 dependent repositories - 8.11 thousand downloads total - 125 stars on GitHub - 1 maintainer
haskell-tools-refactor 1.1.1.0
Developer tools for Haskell27 versions - Latest release: about 7 years ago - 14 dependent repositories - 16.1 thousand downloads total - 250 stars on GitHub - 1 maintainer
z3-encoding 0.3.0.0
2 versions - Latest release: over 9 years ago - 1.38 thousand downloads total - 1 maintainerRelated Keywords
Propose Tags
810
library
737
bsd3
476
program
245
mit
176
haskell
70
gpl
60
deprecated
59
math
42
phonetic-languages
31
game
29
embedded
27
Ukrainian
26
compiler
25
web
25
public-domain
24
compilers-interpreters
21
apache
19
data
18
parser
18
text
16
development
16
haskell-library
12
ghc
12
smt
11
sound
11
formal-methods
10
verification
10
refinement-types
10
refactor
10
development-tools
10
music
9
hardware
9
agpl
8
ffi
7
nix
7
phonetics
7
.net
7
pretty-printer
7
clr
6
concurrency
6
parsing
6
sox
6
code-generation
6
javascript
6
control
5
source-tools
5
generics
5
uniqueness
5
interpreter
5
gpu
5
PhLADiPreLiO
5
elm
5
database
5
mpl
5
lgpl
5
programming-language
5
syllable-segmentation
4
speech-approximation
4
configuration
4
static-analysis
4
effect
4
writing-systems
4
bsd2
4
ats
4
fortran
4
uniqueness-periods
4
logic
3
purescript
3
foreign
3
lambda-calculus
3
egison
3
reflection
3
template-haskell
3
pattern
3
lisp
3
halide
3
high-performance-computing
3
jit
3
algorithmic-composition
3
syntax-tree
3
system
3
type-inference
3
pugs
3
speech-transformation
3
assembly
2
rust
2
algorithms
2
phladiprelio
2
jvm
2
type-system
2
dsl
2
visual-programming
2
general
2
typescript
2
c
2
dhall
2
dependent-types
2
io
2
mutable-state
2