Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: 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.
17 versions
Latest release: about 6 years ago
91 dependent packages
40,863 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/pretty

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/haskell%2Fpretty

Dependent Repos 2,082

takoeight0821/sisku
  • * sisku.cabal
  • * sisku.cabal

Size: 1.86 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

yav/pretty-show
Tools for working with derived Show instances in Haskell.
  • ==1.* pretty-show.cabal

Size: 256 KB - Last synced: about 9 hours ago - Pushed: about 1 year ago

bartavelle/probatree
Minimal haskell library for computing final probabilities from probabilistic decision trees.
  • * probatree.cabal

Size: 97.7 KB - Last synced: about 1 year ago - Pushed: about 12 years ago

SIPRESSDUYSTARSMX/bond Fork of microsoft/bond
Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.
  • * compiler/bond.cabal

Size: 16.7 MB - Last synced: 6 months ago - Pushed: 8 months ago

HackBulgaria/Haskell-1
Functional Programming with Haskell
  • installed week5/1-SimpleYesod/cabal.config

Size: 519 KB - Last synced: about 2 months ago - Pushed: over 8 years ago

mjgpy3/formantis
Haskell/Yesod breakable toy
  • installed cabal.config

Size: 254 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

UCSD-PL/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
  • * assignments/hw2-liquid/nano-js.cabal

Size: 15.1 MB - Last synced: about 1 month ago - Pushed: almost 11 years ago

mzini/qlogic
Propositional Logic Library for Haskell
  • >=1.1 qlogic.cabal

Size: 445 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago

shayan-najd/MiniFeldspar
  • ==1.1.* Shayan/MiniFeldspar.cabal

Size: 34.7 MB - Last synced: 9 months ago - Pushed: almost 9 years ago

jbirch/fuckin-about-with-hs
Get up a simple Haskell webapp
  • 1.1.2.0 cabal.config

Size: 13.7 KB - Last synced: 8 months ago - Pushed: over 8 years ago

jwaldmann/haskell-tpdb
parser and prettyprinter for TPDB syntax (termination problem data base)
  • * tpdb.cabal

Size: 257 KB - Last synced: about 11 hours ago - Pushed: 7 months ago

yav/graphmod
A utility for displaying the module dependencies of Haskell programs.
  • * graphmod.cabal

Size: 536 KB - Last synced: about 9 hours ago - Pushed: over 1 year ago

alsonkemp/turbinado-website
This is the turbinado.org website
  • * turbinado.cabal

Size: 2.3 MB - Last synced: about 1 year ago - Pushed: almost 15 years ago

Voker57/hellnet 📦
Anonymous data sharing network
  • * hellnet.cabal

Size: 1.13 MB - Last synced: about 1 year ago - Pushed: over 13 years ago

pepeiborra/term
Term Rewriting Systems
  • * narradar-term.cabal

Size: 336 KB - Last synced: about 1 year ago - Pushed: over 8 years ago

gcross/Privateer
Automatic global variable privatization
  • >=1.0.1 Privateer.cabal

Size: 1.08 MB - Last synced: about 1 year ago - Pushed: over 14 years ago

christiaanb/clash
my branch of clash
  • >=1.0.1.1 && <1.1 clash/clash.cabal

Size: 929 KB - Last synced: about 1 year ago - Pushed: about 10 years ago

christiaanb/vhdl
VHDL AST and Pretty Printer
  • * vhdl.cabal

Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago

teneighty/papps
Happstack paste bin
  • >=1.0.1.0 && <2 papps.cabal

Size: 85.9 KB - Last synced: about 1 year ago - Pushed: over 14 years ago

srush/hsNLP-
Combined repo for nlp libs
  • * language/language.cabal
  • * probdist/estimators.cabal

Size: 527 KB - Last synced: about 1 year ago - Pushed: about 14 years ago

djv/VisualProf
http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  • * visual-prof.cabal

Size: 192 KB - Last synced: 10 days ago - Pushed: over 8 years ago

ailiev/gcc-pretty-print
Parser and pretty printer for gcc error messages
  • * gcc-pretty-print.cabal

Size: 101 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago

vincenthz/hs-crypto-cipher 📦
DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell
  • * benchs/crypto-cipher-benchmarks.cabal

Size: 776 KB - Last synced: about 15 hours ago - Pushed: about 10 years ago

bmillwood/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  • >=1.0 && <1.2 haskell-src-meta.cabal
  • >=1.0 && <1.2 haskell-src-meta.cabal

Size: 207 KB - Last synced: 6 months ago - Pushed: about 1 year ago

ghcjs/ghcjs
Haskell to JavaScript compiler, based on GHC
  • ==1.1.* utils/pkg-input/template-haskell-ghcjs/template-haskell-ghcjs.cabal

Size: 6.51 MB - Last synced: about 1 month ago - Pushed: over 1 year ago

brownplt/webbits-html
  • >=0.1 WebBits-Html.cabal

Size: 1.01 MB - Last synced: about 1 month ago - Pushed: over 13 years ago

brownplt/ovid
direct-style JavaScript CFA
  • * Ovid.cabal

Size: 141 KB - Last synced: about 1 month ago - Pushed: over 13 years ago

circuithub/rel8
Hey! Hey! Can u rel8?
  • * rel8.cabal

Size: 2.41 MB - Last synced: 11 days ago - Pushed: 23 days ago

rukav/Sysmon
A library for processing Sysbase 15 sysmon reports.
  • >=1.0.1.1 Sysmon.cabal

Size: 137 KB - Last synced: 11 days ago - Pushed: about 13 years ago

CnC-org/cnc-spec-compiler
The CnC specification tool for analysis and multi-language code generation.
  • >=1.1.0.0 cnc-spec-compiler.cabal

Size: 1.93 MB - Last synced: about 1 month ago - Pushed: over 11 years ago

girving/duck
a functional language built around overloading
  • * duck.cabal

Size: 1.63 MB - Last synced: about 1 year ago - Pushed: over 12 years ago

nominolo/rpl
Compiler and type-checker experiments
  • ==1.0.* lib/rpl.cabal
  • ==1.0.* testsuite/rpl-testsuite.cabal

Size: 306 KB - Last synced: about 1 year ago - Pushed: over 14 years ago

f-algebra/elea-phd
Elea (as developed for my PhD)
  • 1.1.2.0 cabal.config

Size: 1.93 MB - Last synced: about 1 year ago - Pushed: about 8 years ago

grwlf/cake3
Makefile DSL
  • * cake3.cabal

Size: 4.79 MB - Last synced: about 11 hours ago - Pushed: about 6 years ago

Jaak/spufc
Simple PuF compiler
  • * tm.cabal

Size: 371 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago

daniel-vainsencher/haskell-multi-armed-bandits
Haskell implementation of MAB algorithms
  • * BinaryMABPlugin.cabal

Size: 262 KB - Last synced: about 1 year ago - Pushed: over 11 years ago

zsol/visual-graphrewrite
Haskell programs visualised
  • >=1.0.1.0 visual-graphrewrite.cabal

Size: 535 KB - Last synced: 4 days ago - Pushed: almost 14 years ago

ucsd-progsys/liquidhaskell
Liquid Types For Haskell
  • >=1.1 liquidhaskell.cabal

Size: 56.2 MB - Last synced: 16 days ago - Pushed: 17 days ago

coingaming/src
  • * generic-pretty-instances/generic-pretty-instances.cabal
  • * generic-pretty-instances/generic-pretty-instances.cabal

Size: 2.23 MB - Last synced: 6 days ago - Pushed: over 1 year ago

hbasold/LAMA
Intermediate language for verification of SCADE programs (including translation)
  • * interpreter/LAMA.cabal
  • * lamaSMT/LamaSMT.cabal
  • * language/LAMA.cabal
  • * scade2lama/Scade2Lama.cabal

Size: 745 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago

GaloisInc/daedalus
The Daedalus data description language
  • * daedalus-vm/daedalus-vm.cabal
  • * formats/icc/icc-tools.cabal
  • * formats/pdf/dom-tool/pdf-dom.cabal
  • * formats/pdf/old/cos/pdf-cos.cabal

Size: 39.6 MB - Last synced: 15 days ago - Pushed: 15 days ago

Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • * copilot-language/copilot-language.cabal

Size: 4.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago

plow-technologies/cobalt-kiosk-form-template
Form Types for Cobalt Kiosk Application Backend
  • 1.1.2.0 cabal.config

Size: 226 KB - Last synced: 9 months ago - Pushed: over 7 years ago

juspay/beam Fork of haskell-beam/beam
A type-safe, non-TH Haskell SQL library and ORM
  • ==1.1.* beam-migrate/beam-migrate.cabal

Size: 15.4 MB - Last synced: 7 months ago - Pushed: 7 months ago

Concordium/concordium-client
A command line client to interact with the concordium-node
  • * concordium-client.cabal

Size: 2.52 MB - Last synced: 14 days ago - Pushed: 15 days ago

baltun/codebattle Fork of hexlet-codebattle/codebattle
Codebattle game
  • * services/app/dockers/haskell/HOwl.cabal

Size: 3.8 MB - Last synced: 6 months ago - Pushed: about 5 years ago

facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
  • ==1.1.* haxl.cabal

Size: 696 KB - Last synced: 14 days ago - Pushed: 6 months ago

spechub/Hets
The Heterogeneous Tool Set
  • >=1.0.0.0 Hets.cabal

Size: 281 MB - Last synced: 5 days ago - Pushed: 7 months ago

GaloisInc/sk-dev-platform
Development platform for prototyping separation kernel applications
  • >=1.1 libs/SCD/scd.cabal
  • >=1.0.1.0 libs/SCD/src/SCD/Analysis/scd-xml.cabal
  • >=1 libs/genLobster/genLobster.cabal
  • >=1.1 libs/lobster-selinux/lobster-selinux.cabal
  • >=1 libs/lobster-xsm/lobster-xsm.cabal
  • >=1 libs/shrimp/shrimp.cabal
  • >=1.1 user/sklite/sklite.cabal

Size: 9.88 MB - Last synced: about 1 year ago - Pushed: over 9 years ago

GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
  • >=1.1 crucible-jvm/crucible-jvm.cabal

Size: 41.4 MB - Last synced: about 16 hours ago - Pushed: about 16 hours ago

bzhkl/Spreadsheet Fork of b1g3ar5/Spreadsheet
My spreadsheet app using threepenny-gui
  • * Spreadsheet.cabal
  • installed cabal.config

Size: 7.25 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

ilbunilcho/data-exchange-formats Fork of CGenie/data-exchange-formats
Data exchange formats
  • 1.1.2.0 thrift/test_server/cabal.config

Size: 344 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago

vincenthz/language-c
mirror of darcs' language-c
  • * language-c.cabal

Size: 1.01 MB - Last synced: about 1 year ago - Pushed: about 10 years ago

kaisellgren/ankka
A Haskell game
  • >=1.1.1.1 ankka.cabal

Size: 602 KB - Last synced: about 1 year ago - Pushed: over 8 years ago

srijs/haskell-ndjson-conduit
Conduit-based parsing and serialization for newline delimited JSON
  • installed cabal.config

Size: 16.6 KB - Last synced: 1 day ago - Pushed: over 7 years ago

sphynx/turnir
An utility for managing chess tournaments written in Haskell
  • * turnir.cabal

Size: 121 KB - Last synced: about 1 year ago - Pushed: over 13 years ago

sol/hpack
hpack: A modern format for Haskell packages
  • * hpack.cabal
  • * hpack.cabal

Size: 1.09 MB - Last synced: 10 days ago - Pushed: 16 days ago

jappeace/flora-server Fork of flora-pm/flora-server
Server for Flora
  • >=1.1.1 && <1.2 test/fixtures/Cabal/Cabal.cabal
  • * test/fixtures/Cabal/pretty.cabal
  • ==1.1.* test/fixtures/Cabal/template-haskell.cabal

Size: 5.97 MB - Last synced: 12 months ago - Pushed: about 1 year ago

khajavi/pandoc
Automatically exported from code.google.com/p/pandoc
  • >=1 pandoc.cabal

Size: 3.19 MB - Last synced: 8 days ago - Pushed: almost 9 years ago

zaxtax/hakaru-old
A probabilistic programming embedded DSL for Haskell
  • ==1.1.* hakaru.cabal
  • ==1.1.* hakaru.cabal

Size: 210 KB - Last synced: about 1 year ago - Pushed: over 9 years ago

carymrobbins/intellij-haskforce
Haskell plugin for IntelliJ IDEA
  • >=1.0 && <2.0 tests/gold/cabal/parser/example00009.cabal
  • >=1.0 && <2.0 tests/gold/cabal/parser/example00009.cabal
  • ==1.1.* tests/gold/cabal/parser/example00011.cabal
  • * tests/gold/cabal/parser/ghc00053.cabal

Size: 31.8 MB - Last synced: 12 days ago - Pushed: almost 2 years ago

juanpahgj/tfg_2022
  • * rew-syntax-checker.cabal

Size: 6.78 MB - Last synced: 11 months ago - Pushed: almost 2 years ago

gentoo-haskell/hackport
A command line tool to generate Gentoo ebuilds from Hackage packages.
  • >=1.1.1 hackport.cabal
  • >=1.0 hackport.cabal
  • >=1.1 hackport.cabal
  • * hackport.cabal
  • * hackport.cabal

Size: 2.61 MB - Last synced: 29 days ago - Pushed: 29 days ago

gtk2hs/gtk2hs
GUI library for Haskell based on GTK+
  • * pango/pango.cabal
  • * tools/gtk2hs-buildtools.cabal

Size: 58.5 MB - Last synced: about 1 month ago - Pushed: 3 months ago

Josh-Tilles/cmdtheline
Command line option parsing by Applicative Functors.
  • ==1.1.* cmdtheline.cabal
  • ==1.1.* cmdtheline.cabal

Size: 173 KB - Last synced: about 1 year ago - Pushed: over 11 years ago

qaristote/liquid-fixpoint Fork of ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
  • >=1.1.3.1 liquid-fixpoint.cabal

Size: 5.24 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

jkoppel/Strafunski-Sdf2Haskell
Cabalized version of the Sdf2Haskell library from Strafunski
  • <=1.1.1.0 Strafunski-Sdf2Haskell.cabal

Size: 355 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago

phadej/helhug-types
Presentation hold at Helsinki Haskell User Group, 2015-03-04
  • installed cabal.config

Size: 301 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
  • * iele-assemble/iele-assemble.cabal

Size: 5.47 MB - Last synced: 12 days ago - Pushed: 9 months ago