Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 3.3% downloads on hackage.haskell.org
Top 0.3% dependent packages on hackage.haskell.org
Top 0.3% dependent repos on hackage.haskell.org
Top 6.9% forks on hackage.haskell.org
Top 1.3% docker downloads on hackage.haskell.org
hackage.haskell.org : pretty
This package contains a pretty-printing library, a set of API's that provides a way to easily print out text in a consistent format of your choosing. This is useful for compilers and related tools. This library was originally designed by John Hughes's and has since been heavily modified by Simon Peyton Jones.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/pretty
Keywords: bsd3, library, text
License: BSD-3-Clause
Latest release: over 6 years ago
First release: over 16 years ago
Dependent packages: 119
Dependent repositories: 2,082
Downloads: 40,946 total
Stars: 68 on GitHub
Forks: 30 on GitHub
Docker dependents: 2
Docker downloads: 89
Total Commits: 1868
Committers: 44
Average commits per author: 42.455
Development Distribution Score (DDS): 0.212
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago
singletons 3.0.3
singletons contains the basic types and definitions needed to support dependently typed programmi...35 versions - Latest release: 3 days ago - 47 dependent packages - 248 dependent repositories - 49.8 thousand downloads total - 284 stars on GitHub - 2 maintainers
copilot-theorem 3.19.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...26 versions - Latest release: 8 days ago - 3 dependent packages - 4 dependent repositories - 4.67 thousand downloads total - 4 maintainers
copilot-interpreter 3.19.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...12 versions - Latest release: 8 days ago - 1 dependent package - 3 dependent repositories - 576 downloads total - 1 maintainer
copilot-prettyprinter 3.19.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...11 versions - Latest release: 8 days ago - 4 dependent packages - 3 dependent repositories - 506 downloads total - 1 maintainer
copilot-c99 3.19.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...39 versions - Latest release: 8 days ago - 5 dependent packages - 5 dependent repositories - 14.5 thousand downloads total - 4 maintainers
copilot-core 3.19.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...34 versions - Latest release: 8 days ago - 8 dependent packages - 9 dependent repositories - 12.3 thousand downloads total - 3 maintainers
cabal-fmt 0.1.12
13 versions - Latest release: 19 days ago - 1 dependent package - 5.01 thousand downloads total - 1 maintainerCabal-syntax 3.12.0.0
This library provides tools for reading and manipulating the .cabal file format.6 versions - Latest release: 19 days ago - 25 dependent packages - 33 dependent repositories - 7.56 thousand downloads total - 12 maintainers
cabal-gild 1.3.1.0
Gild formats package descriptions.23 versions - Latest release: 21 days ago - 1 dependent package - 506 downloads total - 1 maintainer
language-docker 13.0.0 💰
All functions for parsing and pretty-printing Dockerfiles are exported through Language.Docker. F...44 versions - Latest release: 21 days ago - 1 dependent package - 14 dependent repositories - 23 thousand downloads total - 34 stars on GitHub - 1 maintainer
text-show-instances 3.9.8
text-show-instances is a supplemental library to text-show that provides additional Show instance...40 versions - Latest release: 26 days ago - 22 dependent repositories - 24.8 thousand downloads total - 6 stars on GitHub - 1 maintainer
xcb-types 0.14.0
20 versions - Latest release: about 1 month ago - 1 dependent package - 4 dependent repositories - 14 thousand downloads total - 2 maintainersproto-lens 0.7.1.5
API for protocol buffers using modern Haskell language and library patterns.26 versions - Latest release: about 1 month ago - 14 dependent packages - 53 dependent repositories - 18.8 thousand downloads total - 446 stars on GitHub - 3 maintainers
proto-lens-protoc 0.8.0.1
API for protocol buffers using modern Haskell language and library patterns.28 versions - Latest release: about 1 month ago - 4 dependent packages - 31 dependent repositories - 19.1 thousand downloads total - 446 stars on GitHub - 3 maintainers
typst 0.5.0.3
11 versions - Latest release: about 1 month ago - 1 dependent package - 2 dependent repositories - 5.31 thousand downloads total - 1 maintainerliquidhaskell 0.8.10.7.1
Liquid Types for Haskell.36 versions - Latest release: about 1 month ago - 10 dependent packages - 21 dependent repositories - 23.8 thousand downloads total - 1,145 stars on GitHub - 7 maintainers
atp-haskell 1.14.3
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"9 versions - Latest release: about 1 month ago - 3 dependent repositories - 4.18 thousand downloads total - 16 stars on GitHub - 1 maintainer
hackage-security 0.6.2.6
Hackage security framework based on TUF (The Update Framework)21 versions - Latest release: about 1 month ago - 5 dependent packages - 33 dependent repositories - 60.4 thousand downloads total - 56 stars on GitHub - 5 maintainers
MicroHs 0.9.8.0
A compiler for an extended subset of Haskell-2010. The compiler translates to combinators and can...13 versions - Latest release: about 2 months ago - 225 downloads total - 1 maintainer
g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G23 versions - Latest release: about 2 months ago - 1 dependent package - 2 dependent repositories - 882 downloads total - 1 maintainer
cabal-install-solver 3.10.3.0
4 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 3.05 thousand downloads total - 2 maintainersrel8 1.5.0.0
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...11 versions - Latest release: about 2 months ago - 10 dependent repositories - 1.76 thousand downloads total - 148 stars on GitHub - 2 maintainers
helf 1.0.20240318
HELF = Haskell implementation of the Edinburgh Logical Framework HELF implements only a subset o...4 versions - Latest release: about 2 months ago - 1.38 thousand downloads total - 1 maintainer
ghcup 0.1.22.0
A rewrite of the shell script ghcup, for providing a more stable user experience and exposing an ...17 versions - Latest release: 2 months ago - 1 dependent package - 2 thousand downloads total - 253 stars on GitHub - 3 maintainers
staversion 0.2.4.3
A command-line tool to look for version numbers for Haskell packages in specific stackage resolve...26 versions - Latest release: 2 months ago - 1 dependent package - 1 dependent repositories - 12.1 thousand downloads total - 9 stars on GitHub - 1 maintainer
copilot-bluespec 3.19
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...1 version - Latest release: 2 months ago - 24 downloads total - 3 maintainers
jukebox 0.5.5
47 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 27.3 thousand downloads total - 1 maintainerhaskell-ci 0.18.1
21 versions - Latest release: 3 months ago - 1 dependent package - 5.48 thousand downloads total - 2 maintainersproto3-suite 0.7.0
9 versions - Latest release: 3 months ago - 1 dependent package - 7 dependent repositories - 3.62 thousand downloads total - 5 maintainerslanguage-bluespec 0.1
This package contains an implementation of the Bluespec language's AST. In particular, this imple...1 version - Latest release: 3 months ago - 1 dependent package - 32 downloads total - 1 stars on GitHub - 2 maintainers
cabal-debian 5.2.3
Create a Debianization by examining a .cabal file.94 versions - Latest release: 3 months ago - 1 dependent package - 31 dependent repositories - 66.5 thousand downloads total - 3 stars on GitHub - 2 maintainers
crucible-llvm 0.6
Library providing LLVM-specific extensions to the crucible core library for Crucible-based simula...1 version - Latest release: 3 months ago - 2 dependent packages - 38 downloads total - 2 maintainers
cryptol 3.1.0
21 versions - Latest release: 3 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainersliquidhaskell-boot 0.9.8.1
Liquid Types For Haskell5 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 235 downloads total - 1,145 stars on GitHub - 1 maintainer
simple-sql-parser 0.7.1
A parser for SQL. Parses most SQL:2011 queries, non-query DML, DDL, access control and transactio...13 versions - Latest release: 3 months ago - 3 dependent packages - 5 dependent repositories - 8.76 thousand downloads total - 81 stars on GitHub - 1 maintainer
raaz 0.3.9
Raaz is a cryptographic library which provides the state of the art cryptographic primitives via ...18 versions - Latest release: 3 months ago - 1 dependent package - 12 dependent repositories - 5.39 thousand downloads total - 67 stars on GitHub - 1 maintainer
llvm-pretty-bc-parser 0.4.1.0
A parser for the LLVM bitcode file format, yielding a Module from the llvm-pretty package.13 versions - Latest release: 4 months ago - 2 dependent packages - 5 dependent repositories - 8.43 thousand downloads total - 4 maintainers
language-c 0.9.3
Language C is a haskell library for the analysis and generation of C code. It features a complete...28 versions - Latest release: 4 months ago - 190 dependent repositories - 59.7 thousand downloads total - 81 stars on GitHub - 4 maintainers
quickcheck-state-machine 0.9.0
See README at https://github.com/stevana/quickcheck-state-machine#readme17 versions - Latest release: 4 months ago - 2 dependent packages - 12 dependent repositories - 10.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
cabal-fix 0.0.0.2
2 versions - Latest release: 4 months ago - 1 dependent package - 59 downloads total - 1 maintainerltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: 4 months ago - 1 dependent package - 18 dependent repositories - 8.14 thousand downloads total - 36 stars on GitHub - 1 maintainer
bencoding 0.4.5.5
A library for fast and easy encoding and decoding of BEncode data.19 versions - Latest release: 5 months ago - 1 dependent package - 15 dependent repositories - 14.3 thousand downloads total - 3 stars on GitHub - 2 maintainers
glualint 1.28.0
Linter for Lua, specifically the variant used in Garry's mod.5 versions - Latest release: 5 months ago - 1 dependent package - 138 downloads total - 127 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.3.0 💰
Presburger arithmetic solver for built-in type-level naturals21 versions - Latest release: 5 months ago - 4 dependent packages - 9 dependent repositories - 7.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
github-tools 0.1.2
3 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 1.71 thousand downloads total - 1 maintainerdisco 0.1.6
Disco is a simple functional programming language for use in teaching discrete math. Its syntax ...8 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 484 downloads total - 1 maintainer
java-adt 1.0.20231204
A simple tool to create immutable algebraic data structures and visitors for Java (such as abstra...3 versions - Latest release: 5 months ago - 6 dependent repositories - 1.67 thousand downloads total - 17 stars on GitHub - 1 maintainer
haskell-src-meta 0.8.13
The translation from haskell-src-exts abstract syntax to template-haskell abstract syntax isn't 1...56 versions - Latest release: 6 months ago - 25 dependent packages - 219 dependent repositories - 87.7 thousand downloads total - 7 maintainers
clash-lib 1.8.1
Clash is a functional hardware description language that borrows both its syntax and semantics fr...81 versions - Latest release: 6 months ago - 6 dependent packages - 46 dependent repositories - 58.4 thousand downloads total - 2 maintainers
language-puppet 1.5.1
This is a set of tools that is supposed to fill all your Puppet needs : syntax checks, catalog co...88 versions - Latest release: 6 months ago - 1 dependent package - 17 dependent repositories - 56.5 thousand downloads total - 2 maintainers
language-dot 0.1.2
12 versions - Latest release: 7 months ago - 3 dependent packages - 17 dependent repositories - 9.83 thousand downloads total - 2 maintainersagda2train 0.0.3.0
Compiles Agda modules to JSON files, containing information about the imported scope of each modu...3 versions - Latest release: 7 months ago - 1 dependent package - 42 downloads total - 2 stars on GitHub - 1 maintainer
doctest-parallel 0.3.1
The doctest program checks examples in source code comments. It is modeled after doctest for Pyt...12 versions - Latest release: 7 months ago - 1 dependent package - 14 dependent repositories - 2.38 thousand downloads total - 24 stars on GitHub - 2 maintainers
tpdb 2.7.2
parser and prettyprinter for TPDB syntax (termination problem data base)24 versions - Latest release: 7 months ago - 1 dependent package - 2 dependent repositories - 14.6 thousand downloads total - 1 stars on GitHub - 1 maintainer
template-haskell 2.21.0.0
23 versions - Latest release: 7 months ago - 548 dependent packages - 4,451 dependent repositories - 47.9 thousand downloads total - 4 maintainersAgda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 7 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers
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
haddock 2.29.1
This is Haddock, a tool for automatically generating documentation from annotated Haskell source ...59 versions - Latest release: 8 months ago - 2 dependent packages - 22 dependent repositories - 90.8 thousand downloads total - 10 maintainers
debian 4.0.5
Haskell library of datatypes related to Debian packaging66 versions - Latest release: 8 months ago - 2 dependent packages - 40 dependent repositories - 51 thousand downloads total - 0 stars on GitHub - 4 maintainers
hpack 0.36.0
hpack: A modern format for Haskell packages81 versions - Latest release: 8 months ago - 5 dependent packages - 36 dependent repositories - 74 thousand downloads total - 610 stars on GitHub - 3 maintainers
cabal-plan-bounds 0.1.5
Manually curated dependency version ranges tend to become a lie: They likely include versions of ...7 versions - Latest release: 9 months ago - 236 downloads total - 31 stars on GitHub - 1 maintainer
orthotope 0.1.6.0
Multidimensional arrays inspired by APL. The library contains a wide variety of structural operat...8 versions - Latest release: 9 months ago - 3 dependent repositories - 669 downloads total - 1 maintainer
BNFC 2.9.5
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...27 versions - Latest release: 10 months ago - 1 dependent package - 11 dependent repositories - 25.9 thousand downloads total - 4 maintainers
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
aeson-match-qq 1.7.0
See README.markdown19 versions - Latest release: 10 months ago - 1 dependent repositories - 1.75 thousand downloads total - 5 stars on GitHub - 1 maintainer
HaXml 1.25.13
Haskell utilities for parsing, filtering, transforming and generating XML documents.39 versions - Latest release: 10 months ago - 11 dependent packages - 210 dependent repositories - 52.2 thousand downloads total - 5 stars on GitHub - 3 maintainers
beam-migrate 0.5.2.1
14 versions - Latest release: 11 months ago - 2 dependent packages - 23 dependent repositories - 12.1 thousand downloads total - 3 maintainersfortran-src 0.15.1
Provides lexing, parsing, and basic analyses of Fortran code covering standards: FORTRAN 66, FORT...27 versions - Latest release: 11 months ago - 4 dependent packages - 15 dependent repositories - 8.65 thousand downloads total - 44 stars on GitHub - 4 maintainers
fungll-combinators 0.4.1.1
2 versions - Latest release: 12 months ago - 1 dependent repositories - 660 downloads total - 1 maintainergll 0.4.1.1
The package gll provides generalised top-down parsing according to the (R)GLL parsing algorithm a...21 versions - Latest release: 12 months ago - 3 dependent packages - 3 dependent repositories - 10.9 thousand downloads total - 0 stars on GitHub - 1 maintainer
inline-r 1.0.1
The full power of R in Haskell.21 versions - Latest release: 12 months ago - 2 dependent packages - 30 dependent repositories - 12.6 thousand downloads total - 580 stars on GitHub - 4 maintainers
diagrams-lib 1.4.6
Diagrams is a flexible, extensible EDSL for creating graphics of many types. Graphics can be cre...68 versions - Latest release: almost 1 year ago - 28 dependent packages - 330 dependent repositories - 82.9 thousand downloads total - 5 maintainers
fix-imports 2.4.0
`fix-imports` is a small standalone program to manage the import block of a haskell program. It ...15 versions - Latest release: about 1 year ago - 10.5 thousand downloads total - 1 maintainer
distribution-opensuse 1.1.4
Types, functions, and tools to manipulate the openSUSE distribution.6 versions - Latest release: about 1 year ago - 1 dependent package - 7 dependent repositories - 2.37 thousand downloads total - 5 stars on GitHub - 1 maintainer
jmacro 0.6.18
35 versions - Latest release: about 1 year ago - 3 dependent packages - 121 dependent repositories - 34.3 thousand downloads total - 2 maintainerscabal-install-parsers 0.6.1
14 versions - Latest release: about 1 year ago - 4 dependent packages - 13 dependent repositories - 8.64 thousand downloads total - 1 maintainerhaxr 3000.11.5
43 versions - Latest release: about 1 year ago - 2 dependent packages - 148 dependent repositories - 33.8 thousand downloads total - 4 maintainerszip-archive 0.4.3 💰
The zip-archive library provides functions for creating, modifying, and extracting files from zip...53 versions - Latest release: about 1 year ago - 15 dependent packages - 275 dependent repositories - 161 thousand downloads total - 44 stars on GitHub - 1 maintainer
hackage-cli 0.1.0.1
With hackage-cli you can manage .cabal files, e.g. (bulk-)upload revised variants.3 versions - Latest release: about 1 year ago - 1 dependent package - 6 dependent repositories - 311 downloads total - 25 stars on GitHub - 2 maintainers
bv-sized 1.0.5
This module defines a width-parameterized bitvector type and various associated operations.16 versions - Latest release: over 1 year ago - 9 dependent packages - 21 dependent repositories - 11.1 thousand downloads total - 6 stars on GitHub - 4 maintainers
horizon-gen-nix 0.4.0
Generate nix expressions from horizon-spec definitions7 versions - Latest release: over 1 year ago - 1 dependent package - 301 downloads total - 1 maintainer
yapb 0.2.7
A programmable LALR(1) parser builder system. Please see the README on GitHub at https://github.c...13 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 925 downloads total - 15 stars on GitHub - 1 maintainer
shower 0.2.0.3
5 versions - Latest release: over 1 year ago - 3 dependent packages - 8 dependent repositories - 2.6 thousand downloads total - 2 maintainersalgebra-checkers 0.1.0.1 💰
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme2 versions - Latest release: over 1 year ago - 1 dependent repositories - 369 downloads total - 34 stars on GitHub - 1 maintainer
lambdabot 5.3.1
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. It oper...28 versions - Latest release: over 1 year ago - 1 dependent package - 13 dependent repositories - 18.9 thousand downloads total - 6 maintainers
lambdabot-haskell-plugins 5.3.1
16 versions - Latest release: over 1 year ago - 1 dependent package - 15 dependent repositories - 8.92 thousand downloads total - 3 maintainersH 1.0.0
The full power of R in Haskell.5 versions - Latest release: over 1 year ago - 15 dependent repositories - 3.46 thousand downloads total - 580 stars on GitHub - 2 maintainers
cabal2nix 2.19.1 💰
Convert Cabal files into Nix build instructions. Users of Nix can install the latest version by r...120 versions - Latest release: over 1 year ago - 2 dependent packages - 21 dependent repositories - 96.9 thousand downloads total - 351 stars on GitHub - 6 maintainers
flat 0.5.2
Reference implementation of flat, a principled and efficient binary serialization format.11 versions - Latest release: over 1 year ago - 2 dependent packages - 46 dependent repositories - 7.31 thousand downloads total - 1 maintainer
camfort 1.2.0
19 versions - Latest release: over 1 year ago - 1 dependent package - 8 dependent repositories - 10.1 thousand downloads total - 4 maintainerssingletons-base 3.1.1
singletons-base uses singletons-th to define promoted and singled functions from the base library...6 versions - Latest release: over 1 year ago - 22 dependent packages - 27 dependent repositories - 2.73 thousand downloads total - 284 stars on GitHub - 1 maintainer
tree-diff 0.2.2
Common diff algorithm works on list structures: This package works on trees. This package also ...12 versions - Latest release: over 1 year ago - 5 dependent packages - 33 dependent repositories - 25.5 thousand downloads total - 73 stars on GitHub - 1 maintainer
distribution-nixpkgs 1.7.0 💰
Types and functions to represent, query, and manipulate the Nixpkgs distribution.14 versions - Latest release: almost 2 years ago - 2 dependent packages - 23 dependent repositories - 7.75 thousand downloads total - 351 stars on GitHub - 6 maintainers
Diff 0.4.1
13 versions - Latest release: over 2 years ago - 35 dependent packages - 625 dependent repositories - 81.4 thousand downloads total - 2 maintainersliquid-fixpoint 8.10.7
This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used fo...29 versions - Latest release: over 2 years ago - 5 dependent packages - 11 dependent repositories - 19.4 thousand downloads total - 128 stars on GitHub - 7 maintainers
csound-expression 5.4.3
Haskell Framework for Electronic Music61 versions - Latest release: over 2 years ago - 3 dependent packages - 6 dependent repositories - 45.6 thousand downloads total - 305 stars on GitHub - 1 maintainer
smallcheck 1.2.1
As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as fa...24 versions - Latest release: over 3 years ago - 2 dependent packages - 277 dependent repositories - 49.8 thousand downloads total - 133 stars on GitHub - 6 maintainers
HaskellNet 0.5.3
This package provides client support for the POP3, SMTP, and IMAP protocols. Full examples can b...21 versions - Latest release: over 3 years ago - 113 dependent repositories - 17.7 thousand downloads total - 86 stars on GitHub - 2 maintainers
hackport 0.6.7
A command line tool to generate Gentoo ebuilds from Hackage packages.60 versions - Latest release: over 3 years ago - 1 dependent package - 34.3 thousand downloads total - 51 stars on GitHub - 3 maintainers
llvm-pretty 0.11.0
A pretty printing library that was inspired by the LLVM binding by Lennart Augustsson. The libra...14 versions - Latest release: over 3 years ago - 4 dependent packages - 7 dependent repositories - 9.01 thousand downloads total - 3 maintainers