hackage.haskell.org "language" keyword
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: about 8 years ago - 851 downloads total
hsx2hs 0.14.1
Literal XML syntax in Haskell source code23 versions - Latest release: about 9 years ago - 1 dependent package - 31 dependent repositories - 15.4 thousand downloads total - 7 stars on GitHub - 3 maintainers
phonetic-languages-simplified-properties-lists-double 0.2.0.0
2 versions - Latest release: over 5 years ago - 1 dependent package - 424 downloads total - 1 maintainerecma262 0.0.0
Haskell ECMA 262 interpreter1 version - Latest release: over 11 years ago - 1 dependent repositories - 1.19 thousand downloads total - 10 stars on GitHub - 1 maintainer
syntax-trees 0.1.2
2 versions - Latest release: over 15 years ago - 1.94 thousand downloads total - 2 maintainershydrogen-syntax 0.7.1
[Index] Package maintainers For package maintainers and hackage trustees Candidates11 versions - Latest release: over 11 years ago - 5.8 thousand downloads total - 1 maintainer
djinn-th 0.0.1
1 version - Latest release: almost 16 years ago - 1.2 thousand downloads total - 1 maintainerrebound 0.1.2.0
Please see the README on GitHub at https://github.com/sweirich/rebound3 versions - Latest release: about 1 month ago - 47 downloads total - 30 stars on GitHub - 2 maintainers
eflint 3.1.0.2
5 versions - Latest release: over 2 years ago - 484 downloads total - 1 maintainerNomyx-Language 0.7.6
Provide a DSL to express rules in a Nomic game. See package Nomyx for a full game implementation.20 versions - Latest release: about 11 years ago - 1 dependent repositories - 17.2 thousand downloads total - 1 maintainer
language-ninja 0.2.0
A Haskell library for parsing, pretty-printing, and compiling the Ninja build language. The best ...2 versions - Latest release: almost 9 years ago - 1 dependent repositories - 1.77 thousand downloads total - 35 stars on GitHub - 1 maintainer
shivers-cfg 0.1.1
2 versions - Latest release: over 10 years ago - 1.69 thousand downloads total - 1 maintainerlanguage-vhdl 0.1.4
VHDL AST and pretty printer according to the VHDL language reference manual (2000 Edition).12 versions - Latest release: almost 5 years ago - 7.78 thousand downloads total - 4 stars on GitHub - 1 maintainer
language-cil 0.4.0
Manipulating Common Intermediate Language AST in Haskell5 versions - Latest release: over 9 years ago - 1 dependent repositories - 4.03 thousand downloads total - 22 stars on GitHub - 1 maintainer
js-good-parts 0.0.7
An AST data structure and pretty printer for "JavaScript: The Good Parts" in Haskell7 versions - Latest release: over 13 years ago - 3 dependent repositories - 5.43 thousand downloads total - 10 stars on GitHub - 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.9 thousand downloads total - 3 maintainersphonetic-languages-constraints 0.4.0.0
4 versions - Latest release: over 5 years ago - 863 downloads total - 1 maintainerlsql-csv 0.1.0.6
lsql-csv is a tool for small CSV file data querying from a shell with short queries. It makes it ...7 versions - Latest release: about 2 years ago - 1 dependent package - 430 downloads total - 1 stars on GitHub - 1 maintainer
fault-tree 0.0.0
1 version - Latest release: over 15 years ago - 1.36 thousand downloads total - 1 maintainerukrainian-phonetics-common 0.2.0.0
3 versions - Latest release: over 3 years ago - 1 dependent package - 325 downloads total - 1 maintainerbricks-internal-test 0.0.0.4
Bricks is a lazy functional language based on Nix.1 version - Latest release: over 8 years ago - 948 downloads total - 6 stars on GitHub - 1 maintainer
hsx 0.10.5
22 versions - Latest release: over 12 years ago - 2 dependent packages - 7 dependent repositories - 17.9 thousand downloads total - 1 maintainerimperative-edsl 0.8.3
Deep embedding of imperative programs with code generation10 versions - Latest release: over 4 years ago - 5 dependent repositories - 5.16 thousand downloads total - 23 stars on GitHub - 3 maintainers
language-Modula2 0.1.5
The library and the executable supports two versions of the Modula-2 programming language: as des...7 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 730 downloads total - 4 stars on GitHub - 1 maintainer
language-guess 0.1.2
3 versions - Latest release: about 12 years ago - 2.59 thousand downloads total - 1 maintainer
Top 1.5% on hackage.haskell.org
58 versions - Latest release: over 1 year ago - 25 dependent packages - 219 dependent repositories - 93.4 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: over 1 year ago - 25 dependent packages - 219 dependent repositories - 93.4 thousand downloads total - 7 maintainers
dobutokO-poetry 0.17.0.0
Helps to order the 7 or less Ukrainian words (or their concatenations) to obtain somewhat suitabl...24 versions - Latest release: over 5 years ago - 6.37 thousand downloads total - 1 maintainer
bond 0.13.0.0
Bond was a cross-platform framework for working with schematized data. The open-source project en...17 versions - Latest release: almost 2 years ago - 4 dependent repositories - 11 thousand downloads total - 2,625 stars on GitHub - 2 maintainers
Top 2.9% on hackage.haskell.org
83 versions - Latest release: about 1 year ago - 3 dependent packages - 142 dependent repositories - 103 thousand downloads total - 963 stars on GitHub - 1 maintainer
stylish-haskell 0.15.1.0
A Haskell code prettifier. For more information, see: https://github.com/haskell/stylish-haskell...83 versions - Latest release: about 1 year ago - 3 dependent packages - 142 dependent repositories - 103 thousand downloads total - 963 stars on GitHub - 1 maintainer
halide-haskell 0.0.2.0
Halide is a programming language designed to make it easier to write high-performance image and a...2 versions - Latest release: almost 3 years ago - 3 dependent packages - 188 downloads total - 20 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 - 131 thousand downloads total - 3 maintainersraw-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.5 thousand downloads total - 38 stars on GitHub - 1 maintainer
th-instances 0.1.0.14
2 versions - Latest release: about 14 years ago - 2 dependent repositories - 1.83 thousand downloads total - 1 maintainerParaiso 0.3.1.5
13 versions - Latest release: over 10 years ago - 11.4 thousand downloads total - 1 maintainerlanguage-bash 0.11.1
A library for parsing, pretty-printing, and manipulating Bash shell scripts.16 versions - Latest release: over 1 year ago - 11 dependent repositories - 10 thousand downloads total - 35 stars on GitHub - 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.66 thousand downloads total - 2 maintainers
haskell-tools-rewrite 1.1.1.0
Developer tools for Haskell23 versions - Latest release: over 7 years ago - 15 dependent repositories - 14.3 thousand downloads total - 250 stars on GitHub - 1 maintainer
haskell-tools-refactor 1.1.1.0
Developer tools for Haskell27 versions - Latest release: over 7 years ago - 14 dependent repositories - 16.3 thousand downloads total - 250 stars on GitHub - 1 maintainer
lambdaLit 0.1.1.0
3 versions - Latest release: over 11 years ago - 2.31 thousand downloads total - 1 maintainerabt 0.1.1.0
5 versions - Latest release: over 11 years ago - 1 dependent repositories - 4.62 thousand downloads total - 1 maintainersimple-ltl 2.1.0
A simple compiler from LTL formulas to state machines4 versions - Latest release: about 7 years ago - 2 dependent repositories - 1.92 thousand downloads total - 7 stars on GitHub - 1 maintainer
google-search 0.2.0.0
EDSL for Google and GMail search expressions4 versions - Latest release: about 10 years ago - 1 dependent repositories - 3.14 thousand downloads total - 2 stars on GitHub - 1 maintainer
SNet 0.1.0
1 version - Latest release: over 13 years ago - 1 dependent repositories - 1.24 thousand downloads total - 1 maintaineregison-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: 5 months ago - 2 dependent repositories - 1.99 thousand downloads total - 5 stars on GitHub - 3 maintainers
clash 0.1.3.11
14 versions - Latest release: over 14 years ago - 1 dependent repositories - 11.8 thousand downloads total - 1 maintainerlanguage-gcl 0.2
2 versions - Latest release: almost 12 years ago - 1.71 thousand downloads total - 1 maintainer
Top 9.1% on hackage.haskell.org
23 versions - Latest release: 2 months ago - 2 dependent packages - 33 dependent repositories - 12.6 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: 2 months ago - 2 dependent packages - 33 dependent repositories - 12.6 thousand downloads total - 101 stars on GitHub - 2 maintainers
z3-encoding 0.3.0.0
2 versions - Latest release: almost 10 years ago - 1.39 thousand downloads total - 1 maintainer
Top 9.5% on hackage.haskell.org
djinn-lib 0.0.1
5 versions - Latest release: almost 12 years ago - 141 dependent repositories - 28.3 thousand downloads total - 1 maintainerunipatterns 0.0.0.0
Please see the README on GitHub at https://github.com/ChrisPenner/unipatterns#readme1 version - Latest release: over 6 years ago - 6 dependent repositories - 835 downloads total - 31 stars on GitHub - 1 maintainer
Top 5.5% on hackage.haskell.org
jmacro 0.6.18
35 versions - Latest release: about 3 years ago - 3 dependent packages - 121 dependent repositories - 36.6 thousand downloads total - 2 maintainersfree-theorems-counterexamples 0.3.1.0
This program is to verify (or to put into question) strictness conditions on free theorems that a...4 versions - Latest release: about 13 years ago - 3.41 thousand downloads total - 2 maintainers
unification-fd 0.12.0
Generic functions for single-sorted first-order structural unification (think of programming in P...16 versions - Latest release: over 1 year ago - 2 dependent packages - 34 dependent repositories - 11.3 thousand downloads total - 2 maintainers
haskell-typescript 0.1.0.0
1 version - Latest release: over 12 years ago - 1 dependent repositories - 1.17 thousand downloads total - 1 maintainergimlh 0.1.3.0
Haskell parser for GIML4 versions - Latest release: about 11 years ago - 1 dependent repositories - 3.26 thousand downloads total - 3 stars on GitHub - 1 maintainer
tempi 1.0.2.1
A Haskell library for representing musical tempi, with a basic representation consisting of three...5 versions - Latest release: over 4 years ago - 1 dependent repositories - 1.08 thousand downloads total - 1 stars on GitHub - 1 maintainer
hssqlppp-th 0.6.2
hssqlppp extras which need template-haskell Documentation, examples on the homepage: http://jake...3 versions - Latest release: almost 7 years ago - 2 dependent repositories - 2.19 thousand downloads total - 111 stars on GitHub - 1 maintainer
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
drmaa 0.3.0
5 versions - Latest release: over 7 years ago - 3.5 thousand downloads total - 1 maintainerhaskell-tools-ast 1.1.1.0
Developer tools for Haskell27 versions - Latest release: over 7 years ago - 15 dependent repositories - 17.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
ForSyDe 3.1.1
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...3 versions - Latest release: almost 16 years ago - 3.92 thousand downloads total - 4 maintainers
sunroof-compiler 0.2
Monadic Javascript Compiler.1 version - Latest release: about 13 years ago - 4 dependent repositories - 1.43 thousand downloads total - 73 stars on GitHub - 1 maintainer
modulespection 0.1.2.2
Template Haskell Module Introspection12 versions - Latest release: over 11 years ago - 1 dependent repositories - 8.34 thousand downloads total - 4 stars on GitHub - 1 maintainer
Obsidian 0.4.0.0
Obsidian Language Repository5 versions - Latest release: almost 10 years ago - 5 dependent repositories - 5.07 thousand downloads total - 41 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: over 4 years ago - 4 dependent packages - 10 dependent repositories - 13.4 thousand downloads total - 14 stars on GitHub - 2 maintainers
copilot 4.7.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...62 versions - Latest release: 4 days ago - 5 dependent packages - 5 dependent repositories - 30.1 thousand downloads total - 4 maintainers
copilot-c99 4.7.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...51 versions - Latest release: 4 days ago - 5 dependent packages - 5 dependent repositories - 17.4 thousand downloads total - 4 maintainers
copilot-theorem 4.7.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...38 versions - Latest release: 4 days ago - 3 dependent packages - 4 dependent repositories - 6.76 thousand downloads total - 4 maintainers
copilot-verifier 4.7.1
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...14 versions - Latest release: 4 days ago - 1 dependent package - 568 downloads total - 3 maintainers
copilot-language 4.7.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...51 versions - Latest release: 4 days ago - 6 dependent packages - 6 dependent repositories - 19 thousand downloads total - 4 maintainers
copilot-libraries 4.7.1
Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific l...45 versions - Latest release: 4 days ago - 2 dependent packages - 4 dependent repositories - 13.4 thousand downloads total - 4 maintainers
copilot-visualizer 4.7.1
Visualizer for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL...6 versions - Latest release: 4 days ago - 94 downloads total - 1 maintainer
copilot-interpreter 4.7.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...24 versions - Latest release: 4 days ago - 1 dependent package - 3 dependent repositories - 1.94 thousand downloads total - 1 maintainer
copilot-bluespec 4.7.1
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...14 versions - Latest release: 4 days ago - 542 downloads total - 3 maintainers
copilot-prettyprinter 4.7.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...23 versions - Latest release: 4 days ago - 4 dependent packages - 3 dependent repositories - 1.63 thousand downloads total - 1 maintainer
lss 0.1.0.0
Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) ...1 version - Latest release: over 11 years ago - 1 dependent repositories - 1.01 thousand downloads total - 0 stars on GitHub - 1 maintainer
copilot-core 4.7.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...46 versions - Latest release: 4 days ago - 8 dependent packages - 9 dependent repositories - 15.3 thousand downloads total - 3 maintainers
oberon0 0.0.2
Oberon0 compiler (from LDTA 2011 challenge) implementation using CoCoCo2 versions - Latest release: over 12 years ago - 2.03 thousand downloads total - 1 maintainer
language-sally 0.1.2.0
4 versions - Latest release: almost 9 years ago - 3 dependent repositories - 2.91 thousand downloads total - 1 maintainersimple-eval 0.1.0.1
Simply evaluate a string to an integer "1+1" -> 22 versions - Latest release: over 11 years ago - 1.66 thousand downloads total - 1 stars on GitHub - 1 maintainer
haskell-tools-backend-ghc 1.1.1.0
Developer tools for Haskell23 versions - Latest release: over 7 years ago - 13 dependent repositories - 14 thousand downloads total - 2 stars on GitHub - 1 maintainer
word-note-sox 0.1.0.0
A basic SoX functionality for the new project related to music and algorithmic composition. Is re...1 version - Latest release: over 2 years ago - 95 downloads total - 1 maintainer
th-reify-compat 0.0.1.5
Compatibility for the result type of TH reify6 versions - Latest release: over 7 years ago - 1 dependent package - 23 dependent repositories - 5.31 thousand downloads total - 3 stars on GitHub - 1 maintainer
applicative-parsec 0.1.0.0
An applicative parser combinator library1 version - Latest release: about 11 years ago - 2 dependent repositories - 1.12 thousand downloads total - 4 stars on GitHub - 1 maintainer
syntax-trees-fork-bairyn 0.1.2.5
This is a fork of Dominic Orchard's syntax-trees package that is patched just to build on Haskell...1 version - Latest release: over 11 years ago - 1 dependent repositories - 1.01 thousand downloads total - 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: about 14 years ago - 1 dependent repositories - 2.58 thousand downloads total - 1 maintainer
lojysamban 0.0.8
9 versions - Latest release: over 13 years ago - 6.55 thousand downloads total - 1 maintainerhsnock 0.5.1 💰
This is an implementation of the Nock 5K spec with an accompanying interpreter. Nock is a tiny s...7 versions - Latest release: over 12 years ago - 5.45 thousand downloads total - 10 stars on GitHub - 1 maintainer
clr-marshal 0.2.0.0
A bridge between Haskell and the common language runtime (.Net / Mono)2 versions - Latest release: almost 9 years ago - 8 dependent repositories - 2.23 thousand downloads total - 11 stars on gitlab.com - 3 maintainers
th-constraint-compat 0.0.1.0
1 version - Latest release: over 8 years ago - 2 dependent packages - 8 dependent repositories - 1.6 thousand downloads total - 1 maintainernetlist 0.3.1
2 versions - Latest release: over 14 years ago - 6 dependent repositories - 2.45 thousand downloads total - 3 maintainerselm-core-sources 1.0.0
A library for compiling Elm to JavaScript from within Haskell1 version - Latest release: over 11 years ago - 136 dependent repositories - 2.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
crucible-symio 0.1.1
3 versions - Latest release: over 1 year ago - 2 dependent packages - 234 downloads total - 5 maintainersnomyx-language 1.0.0
A DSL to express rules in a Nomic game. See package Nomyx for a full game implementation.1 version - Latest release: about 9 years ago - 881 downloads total - 1 maintainer
language-eiffel 0.1.2
3 versions - Latest release: about 13 years ago - 1 dependent repositories - 2.48 thousand downloads total - 7 stars on GitHub - 1 maintainerphladiprelio-tests 0.1.0.0
1 version - Latest release: over 2 years ago - 2 dependent packages - 109 downloads total - 1 maintainerhardware-edsl 0.1.6
VHDL flavour of imperative-edsl5 versions - Latest release: almost 5 years ago - 3.18 thousand downloads total - 5 stars on GitHub - 1 maintainer
libconfig 0.3.0.0
Haskell bindings to libconfig3 versions - Latest release: about 11 years ago - 2 dependent repositories - 2.15 thousand downloads total - 1 stars on GitHub - 1 maintainer
css 0.2
2 versions - Latest release: over 11 years ago - 2 dependent repositories - 2.02 thousand downloads totalweb-routes-hsp 0.24.6
17 versions - Latest release: almost 11 years ago - 29 dependent repositories - 14.9 thousand downloads total - 1 maintainerRelated Keywords
Propose Tags
813
library
740
bsd3
476
program
246
mit
177
haskell
71
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
development
16
text
16
ghc
12
smt
12
haskell-library
12
sound
11
verification
11
refinement-types
11
development-tools
10
refactor
10
formal-methods
10
hardware
9
music
9
agpl
8
mpl
7
.net
7
pretty-printer
7
ffi
7
nix
7
phonetics
7
parsing
7
clr
6
javascript
6
concurrency
6
code-generation
6
sox
6
programming-language
5
lgpl
5
PhLADiPreLiO
5
database
5
gpu
5
uniqueness
5
interpreter
5
control
5
source-tools
5
generics
5
elm
5
bsd2
4
effect
4
writing-systems
4
fortran
4
uniqueness-periods
4
configuration
4
ats
4
syllable-segmentation
4
static-analysis
4
speech-approximation
4
speech-transformation
3
type-inference
3
reflection
3
foreign
3
pugs
3
purescript
3
system
3
lisp
3
template-haskell
3
algorithmic-composition
3
halide
3
high-performance-computing
3
jit
3
egison
3
pattern
3
syntax-tree
3
lambda-calculus
3
logic
3
install
2
sql
2
bsd4
2
package
2
interpreters
2
diff
2
metaprogramming
2
functional-programming
2
prosody
2
phladiprelio
2
prosodic-languages
2
graphics
2
rust
2
dhall
2
type-system
2