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