‘Haskell’ directory
See Also
-
Gwern
- “ZFS: Oleg Kiselyov’s Zipper File System ”, Sabry et al 2008
- “Statistical Notes ”, Gwern 2014
- “Archiving URLs ”, Gwern 2011
- “Problem 14 Dynamic Programming Solutions ”, Gwern et al 2022
- “Auto-Smallcaps Filter ”, Gwern 2020
- “About Gwern ”, Gwern 2009
- “Solving Pascal’s Mugging With Dynamic Programming ”, Gwern 2019
- “Spaced Repetition for Efficient Learning ”, Gwern 2009
- “Prediction Markets ”, Gwern 2009
- “Nootropics ”, Gwern 2010
- “The Kelly Coin-Flipping Game: Exact Solutions ”, Gwern et al 2017
- “Summers of Code, 2006–2013 ”, Gwern 2009
- “Writing a Wikipedia Link Archive Bot ”, Gwern 2008
- “HP: Methods of Rationality Review Statistics ”, Gwern 2012
-
“Candy Japan’s New Box A/
B Test ”, Gwern 2016 - “Who Wrote The Death Note Script? ”, Gwern 2009
- “2012 Election Predictions ”, Gwern 2012
- “Touhou Music by the Numbers ”, Gwern 2013
- “Bitcoin Donations on The Pirate Bay ”, Gwern 2014
- “Archiving GitHub ”, Gwern 2011
- “SICP Chapter 1.1 Notes ”, Gwern 2009
- “Golfing Run Length Encoding in Haskell ”, Gwern 2008
- “Writing a Wikipedia RSS Link Archive Bot ”, Gwern 2009
- “Choosing Software ”, Gwern 2008
- “Hypertime in Haskell ”, Gwern 2012
- “SICP Chapter 1.3 ”, Gwern 2010
- “Resilient Haskell Software ”, Gwern 2008
- “SICP Chapter 1.2 Notes ”, Gwern 2009
-
Links
- “Coding Malware in Fancy Programming Languages for Fun and Profit ”, Apostolopoulos et al 2025
- “My Technological Regrets [In Designing Elm Apps] ”, Thomas 2025
- “On Ada’s Dependent Types, and Its Types As a Whole ”, nytpu 2024
- “Functional Ownership through Fractional Uniqueness ”, Marshall & Orchard 2023
- “Typed Design Patterns for the Functional Era ”, Crichton 2023
- “Understanding Jane Street: Strong Language ”, Hobart 2022
- “Keep Your Laziness in Check ”, Foner et al 2018
- “Immutability Changes Everything ”, Helland 2016
- “Modular Implicits ”, White et al 2015
- “Practical Probabilistic Programming With Monads ”, Ścibior et al 2015
- “Generic Zipper: the Context of a Traversal ”, Kiselyov 2015
- “Hyphenation: Configurable Knuth-Liang Hyphenation ”, Kmett 2012
- “The Architecture of the Utrecht Haskell Compiler ”, Dijkstra et al 2009
- “Omega Monad: Enumerating a Context-Free Language ”, Palmer 2008
- “Infinite Sets That Admit Fast Exhaustive Search ”, Escardo 2007
- “Static Typing for a Faulty Lambda Calculus ”, Walker et al 2006
- “Total Functional Programming ”, Turner 2004b
- “Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting ”, Moor & Gibbons 1999
- “A Functional Description of TeX’s Formula Layout ”, Heckmann & Wilhelm 1997
- “Using Circular Programs to Eliminate Multiple Traversals of Data ”, Bird 1984
- “From Löb’s Theorem to Spreadsheet Evaluation ”
- “The Three Projections of Doctor Futamura ”
- “Shuffles, Bayes’ Theorem and Continuations. ”
- “Accidentally Quadratic ”
- “Arbtt: the Automatic, Rule-Based Time Tracker § About ”
-
“Index of /
code.haskell.org/ hbuild/ ” - “Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp ”
- “The Dhall Configuration Language ”
- “Haskell: A Great Procedural Language ”
- “GhcLiVE Project Escapes! ”
- “Parallelize Cabal Build over Modules ”
-
“
install -J: Allow Limiting the Number of Parallel Linker Invocations ”, Glushenkov 2025 - “Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment ”, Mar 2025
- “Articles ”
- “YHC‘s Sort Is Faster Than GHC’s ”
- “#3843: Merge Plugins into HEAD ”
- “#910: --Make Should Have a -J Flag for Parallel Building ”
- “Wiki ”
- “Immix ”
-
“New Plugins • Wiki • Glasgow Haskell Compiler /
GHC ” - “Hackage: Introduction ”
- “Barracuda: An Ad-Hoc P2P Chat Program ”
- “DBus: D-Bus Bindings ”
- “DisTract: Distributed Bug Tracking System ”
- “DrIFT-Cabalized: Program to Derive Type Class Instances ”
- “FermatsLastMargin: Annotate Ps and Pdf Documents ”
- “Flippi: Wiki ”
- “HFuse: HFuse Is a Binding for the Linux FUSE Library ”
- “HRay: Haskell Raytracer ”
- “HTTP: A Library for Client-Side HTTP ”
- “Network.HTTP ”
- “Hashell: Simple Shell Written in Haskell ”
- “Judy Bindings, and Some Nice APIs ”
- “ListZipper: Simple Zipper for Lists ”
- “Monadius: 2-D Arcade Scroller ”
- “TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors ”
- “ZMachine: A Z-Machine Interpreter ”
- “Adhoc-Network: Ad-Hoc P2P Network Protocol ”
- “Archiver: Archive Supplied URLs in WebCite & Internet Archive ”
- “Archiver: Archive Supplied URLs in WebCite & Internet Archive ”
- “Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions ”
- “Control.Concurrent.MVar ”
- “Data.Monoid ”
- “Prelude ”
- “Bio: A Bioinformatics Library ”
- “Blaze-Builder: Efficient Buffered Output ”
- “Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell ”
- “Botpp: Build Tool for Lambdabot ”
- “Brainfuck: Brainfuck Interpreter ”
- “Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface ”
- “Cabal-Query: Helpers for Quering .cabal Files or HackageDB's 00-Index.tar ”
- “Clustertools: Tools for Manipulating Sequence Clusters ”
- “Condorcet: Library for Condorcet Voting ”
- “Conjure: A BitTorrent Client ”
- “Data.Graph ”
- “Data.Set ”
- “Curl: Haskell Binding to Libcurl ”
- “Network.Curl ”
- “Network.Curl ”
- “Darcs-Cabalized: David's Advanced Version Control System ”
- “Darcs-Graph: Generate Graphs of Darcs Repository Activity ”
- “Analyze Quality of Nucleotide Sequences. ”
- “Djinn: Generate Haskell Code from a Type ”
- “Estreps: Repeats from ESTs ”
- “Feed: Interfacing With RSS (V 0.9x, 2.x, 1.0) + Atom Feeds. ”
- “Fst: Finite State Transducers ”
- “Genericserialize: Serialization Library Using Data.Generics ”
- “Ghclive: Interactive Haskell Interpreter in a Browser ”
- “Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc. ”
- “Goa: GHCi Bindings to Lambdabot ”
- “GreenCard, a Foreign Function Pre-Processor for Haskell ”
- “Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell ”
- “Hakyll: A Static Website Compiler Library ”
- “Harp: HaRP Allows Pattern-Matching With Regular Expressions ”
- “Hashed-Storage: Hashed File Storage Support Code. ”
- “Hashtables: Mutable Hash Tables in the ST Monad ”
- “Haskell-In-Space: 'Asteroids' Arcade Games ”
- “Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer ”
-
“Haskell-Type-Exts: A Type Checker for Haskell/
haskell-Src-Exts ” - “Hback: N-Back Memory Game ”
- “Helisp: An Incomplete Elisp Compiler ”
- “Hetris: Text Tetris ”
- “Hgeometric: A Geometric Library With Bindings to GPC ”
- “HighWaterMark: Memory Usage Statistics ”
- “Hinstaller: Installer Wrapper for Haskell Applications ”
- “Hjs: JavaScript Parser ”
- “Hlint: Source Code Suggestions ”
- “Haskell API Search ”
- “Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface ”
- “Hs-Fltk: Binding to GUI Library FLTK ”
- “Hscurses: NCurses Bindings for Haskell ”
-
“Hsdip: a Diplomacy Parser/
renderer ” - “Hsdns: Asynchronous DNS Resolver ”
- “Parsec Parsers for the Internet Message Format (E-Mail) ”
- “Library Wrapping the GnuTLS API. ”
-
“Hsntp: Libraries to Use SNTP Protocol and Small Client/
server Implementations ” - “Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages. ”
- “Hspr-Sh: Session Handler for HSP ”
- “Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support ”
- “Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (Deprecated) ”
- “Hybrid: A Implementation of a Type-Checker for Lambda-H ”
- “Infix Expression Re-Parsing (For HsParser Library) ”
- “Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting ”
-
“Iteratee: Iteratee-Based I/
O ” - “Theorem Proving Library Based on Dependent Type Theory ”
- “Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot ”
- “Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs ”
- “Linkchk Is a Network Interface Link Ping Monitor. ”
- “Mohws: Modular Haskell Web Server ”
-
“Mpdmate: MPD/
PowerMate Executable ” - “Mtl: Monad Classes for Transformers, Using Functional Dependencies ”
- “Control.Monad.State.Lazy ”
- “Nanocurses: Simple Curses Binding ”
- “Network: Low-Level Networking Interface ”
- “Network-Uri: URI Manipulation ”
- “Data.Number.CReal ”
- “Nymphaea: An Interactive GUI for Manipulating L-Systems ”
- “Orchid: Haskell Wiki Library ”
- “Pesca: Proof Editor for Sequent Calculus ”
- “Pkcs1: RSA Encryption With PKCS1 Padding ”
- “Plugins: Dynamic Linking for Haskell and C Objects ”
- “Popenhs: Popenhs Is a Popen-Like Library for Haskell ”
- “Powermate: Bindings for Griffin PowerMate USB ”
- “Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper ”
- “Pugs-Hsregex: Haskell PCRE Binding ”
- “Push-Notify: A Server-Side Library for Sending Push Notifications ”
- “Rbr: Mask Nucleotide (EST) Sequences in Fasta Format ”
- “Serialize Data ”
- “Roguestar-Engine: Sci-Fi Roguelike Game ”
- “Sci-Fi Roguelike Game. Client Library. ”
- “The RogueStar Animation and Graphics Library ”
-
“Rss2irc: Watches an RSS/
Atom Feed and Writes It to an IRC Channel ” - “Scion: Haskell IDE Library ”
- “Show: 'Show' Instances for Lambdabot ”
- “Simseq: Simulate Sequencing With Different Models for Priming and Errors ”
- “Smallcheck: A Property-Based Testing Library ”
- “Split: Combinator Library for Splitting Lists ”
- “Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString ”
-
“Tagsoup: Parsing and Extracting Information from (Possibly Malformed) HTML/
XML Documents ” - “Text.HTML.TagSoup.Parser ”
- “Text.HTML.TagSoup.Parser ”
- “Tetris: A 2-D Clone of Tetris ”
- “Typing Haskell In Haskell ”
- “Trhsx: Deprecated ”
- “Type-Equality-Check: Type Equality Check ”
- “Unix: POSIX Functionality ”
- “Unlambda: Unlambda Interpreter ”
- “Urlcheck: Parallel Link Checker ”
- “Vector: Efficient Arrays ”
- “Vty: A Simple Terminal UI Library ”
- “Xml-Parsec: Parsing XML With Parsec ”
- “Xml2x: Convert BLAST Output in XML Format to CSV or HTML ”
- “XMonad.Actions.Search ”
- “XMonad.Prompt.Shell ”
- “Xmonad-Utils: A Small Collection of X Utilities ”
- “Xsact: Cluster EST Sequences ”
- “Yi-Gtk: The Haskell-Scriptable Editor, Helper Package ”
- “Yi-Vty: The Haskell-Scriptable Editor, Helper Package ”
- “Packages by Category ”
- “Packages by Category ”
- “Hledger Homepage ”
- “Hoogle ”
- “%5BInt%5D_->_Int ”
- “%5Ba%5D_->_%5Ba%5D ”
- “%5Ba%5D_->_a ”
-
“Hoogle:
=<<” - “(Monoid_a)_=>_a ”
- “(Monoid_a)_=>_a_->_a_->_a ”
- “(A1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D ”
- “(A_->_b_->_c)_->_(A,b)_->_c ”
- “(A_->_m_b)_->_%5Ba%5D_->_m_() ”
- “(X_->_Bool)_->_(X_->_x)_->_x_->_x ”
- “Control.Monad.void ”
- “Control.Parallel.Strategies ”
- “Data.List ”
- “Data.List.sort ”
- “Data.Monoid ”
- “Data.Sequence ”
- “Eq_a_=>_%5Ba%5D_->_%5Ba%5D ”
- “Eq_a_=>_%5Ba%5D_->_%5Ba%5D ”
- “Filter ”
- “IO_a_->_IO_() ”
- “IO_a_->_IO_ThreadId ”
- “IO_a_->_IO_a ”
- “Int_->_%5Ba%5D_->_%5Ba%5D ”
- “Int_->_a_->_%5Ba%5D ”
- “Monad ”
- “Network.HTTP ”
- “Ord_a_=>_%5Ba%5D_->_%5Ba%5D ”
- “Ord_a_=>_%5Ba%5D_->_%5Ba%5D ”
- “Product ”
- “String_->_Int ”
- “System.Cmd ”
- “System.FilePath.dropExtension ”
- “System.Process ”
- “XMonad.Actions.Search ”
- “A_->_%5Ba%5D ”
- “A_->_%5Ba%5D_->_Int ”
- “A_->_(A_->_a)_->_%5Ba%5D ”
- “Concat ”
- “ElemIndex ”
- “ElemIndices ”
- “Filter ”
- “GetArgs ”
- “GetContents ”
- “IsPrefixOf ”
- “Iterate ”
- “LiftM ”
- “LogBase ”
- “LogBase ”
-
“Hoogle:
map” -
“Hoogle:
mapM” -
“Hoogle:
mapM_” -
“Hoogle:
maximum” -
“Hoogle:
nub” -
“Hoogle:
product” - “ReadProcessWithExitCode ”
- “ReadProcessWithExitCode ”
- “Repeat ”
- “Replicate ”
- “RunCommand ”
- “Spawn ”
- “TakeWhile ”
- “TakeWhile ”
- “Uncurry ”
- “UnsafeInterleaveIO ”
- “Words ”
- “Turnstyle: an Esoteric Visual Functional Language ”
- “The Cabal-Devel Archives ”
- “GHC Core Plugins ”
- “The Haskell-Cafe May 2007 Archive by Thread ”
- “[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009 ”
- “[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009 ”
- “The Haskell-Cafe February 2009 Archive by Subject ”
- “[Haskell-Cafe] Haskell Summers of Code Retrospective (Updated for 2010) ”
- “GSoC Project Proposal: Markdown Support for Haddock ”
- “[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator ”
- “[Haskell-Cafe] [Haskell.org Google Summer of Code 2013] Approved Projects ”
- “[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices ”
- “This FTP Site [Oleg Kiselyov Homepage] ”, Kiselyov 2025
- “Streams and Incremental Processing ”, Kiselyov 2025
- “Cartesian Closed Comic #15: Iteratees ”
- “The Sad State of Property-Based Testing Libraries ”
- “Application Information ”
- “[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library ”
- “Adding an Ignore Function to Control.Monad ”
- “[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3 ”
- “[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage ”
- “[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies ”
- “[Haskell-Cafe] Summer of Code ”
- “[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (And Cabal-1.16.0.1) ”
- “Improve System.Environment Haddocks ”
- “Proposal: Add Int Indexing Functions to Data.Set ”
- “Arrow ”
- “Cabal-Install ”
- “Cabal-Install ”
-
“GHC/
Data Parallel Haskell ” - “Generalised Algebraic Datatype ”
- “Google Summer of Code ”
- “HaskellWiki ”
- “Haskell Platform ”
- “Hp2any ”
- “Hpysics ”
- “Parallelism and Concurrency ”
- “Stack Overflow ”
- “Tail Recursion ”
- “The Monad.Reader ”
- “User:Gwern ”
-
“Xmonad/
Config Archive ” -
“Xmonad/
Config Archive/ Gwern's Xmonad.hs ” - “Zipper ”
- “Search ”
- “Haskell Wiki § User:Gwern Contributions ”
- “‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012 ”
-
“Gwern Site:http://
www.haskell.org/ pipermail/ haskell-Cafe/ ” -
“Gwern Site:http://
www.haskell.org/ pipermail/ libraries/ ” -
“Gwern Site:http://
www.haskell.org/ pipermail/ xmonad/ ” - “Haskell Language ”
- “The Haskell Cabal ”
- “Really Old Cabal Stuff ”
- Wikipedia
- Miscellaneous
- Bibliography
Gwern
“ZFS: Oleg Kiselyov’s Zipper File System ”, Sabry et al 2008
ZFS: Oleg Kiselyov’s Zipper File System
“Statistical Notes ”, Gwern 2014
“Archiving URLs ”, Gwern 2011
“Problem 14 Dynamic Programming Solutions ”, Gwern et al 2022
“Auto-Smallcaps Filter ”, Gwern 2020
“About Gwern ”, Gwern 2009
“Solving Pascal’s Mugging With Dynamic Programming ”, Gwern 2019
“Spaced Repetition for Efficient Learning ”, Gwern 2009
“Prediction Markets ”, Gwern 2009
“Nootropics ”, Gwern 2010
“The Kelly Coin-Flipping Game: Exact Solutions ”, Gwern et al 2017
“Summers of Code, 2006–2013 ”, Gwern 2009
“Writing a Wikipedia Link Archive Bot ”, Gwern 2008
“HP: Methods of Rationality Review Statistics ”, Gwern 2012
“Candy Japan’s New Box A/B Test ”, Gwern 2016
“Who Wrote The Death Note Script? ”, Gwern 2009
“2012 Election Predictions ”, Gwern 2012
“Touhou Music by the Numbers ”, Gwern 2013
“Bitcoin Donations on The Pirate Bay ”, Gwern 2014
“Archiving GitHub ”, Gwern 2011
“SICP Chapter 1.1 Notes ”, Gwern 2009
“Golfing Run Length Encoding in Haskell ”, Gwern 2008
“Writing a Wikipedia RSS Link Archive Bot ”, Gwern 2009
“Choosing Software ”, Gwern 2008
“Hypertime in Haskell ”, Gwern 2012
“SICP Chapter 1.3 ”, Gwern 2010
“Resilient Haskell Software ”, Gwern 2008
“SICP Chapter 1.2 Notes ”, Gwern 2009
Links
“Coding Malware in Fancy Programming Languages for Fun and Profit ”, Apostolopoulos et al 2025
Coding Malware in Fancy Programming Languages for Fun and Profit
“My Technological Regrets [In Designing Elm Apps] ”, Thomas 2025
My Technological Regrets [in designing Elm apps]
“On Ada’s Dependent Types, and Its Types As a Whole ”, nytpu 2024
On Ada’s Dependent Types, and its Types as a Whole
“Functional Ownership through Fractional Uniqueness ”, Marshall & Orchard 2023
“Typed Design Patterns for the Functional Era ”, Crichton 2023
“Understanding Jane Street: Strong Language ”, Hobart 2022
“Keep Your Laziness in Check ”, Foner et al 2018
“Immutability Changes Everything ”, Helland 2016
“Modular Implicits ”, White et al 2015
“Practical Probabilistic Programming With Monads ”, Ścibior et al 2015
“Generic Zipper: the Context of a Traversal ”, Kiselyov 2015
Generic Zipper: the context of a traversal
“Hyphenation: Configurable Knuth-Liang Hyphenation ”, Kmett 2012
“The Architecture of the Utrecht Haskell Compiler ”, Dijkstra et al 2009
“Omega Monad: Enumerating a Context-Free Language ”, Palmer 2008
Omega Monad: Enumerating a context-free language
“Infinite Sets That Admit Fast Exhaustive Search ”, Escardo 2007
“Static Typing for a Faulty Lambda Calculus ”, Walker et al 2006
“Total Functional Programming ”, Turner 2004b
Total Functional Programming
“Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting ”, Moor & Gibbons 1999
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
“A Functional Description of TeX’s Formula Layout ”, Heckmann & Wilhelm 1997
“Using Circular Programs to Eliminate Multiple Traversals of Data ”, Bird 1984
Using circular programs to eliminate multiple traversals of data
“From Löb’s Theorem to Spreadsheet Evaluation ”
From Löb’s Theorem to Spreadsheet Evaluation
“The Three Projections of Doctor Futamura ”
“Shuffles, Bayes’ Theorem and Continuations. ”
“Accidentally Quadratic ”
“Arbtt: the Automatic, Rule-Based Time Tracker § About ”
arbtt: the automatic, rule-based time tracker § About
“Index of /code.haskell.org/hbuild/ ”
“Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp ”
Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
“The Dhall Configuration Language ”
“Haskell: A Great Procedural Language ”
Haskell: A Great Procedural Language
“GhcLiVE Project Escapes! ”
“Parallelize Cabal Build over Modules ”
“install -J: Allow Limiting the Number of Parallel Linker Invocations ”, Glushenkov 2025
install -j: allow limiting the number of parallel linker invocations
“Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment ”, Mar 2025
Decide on core principles against which to judge breaking changes #12 § Simon Mar comment
“Articles ”
“YHC‘s Sort Is Faster Than GHC’s ”
“#3843: Merge Plugins into HEAD ”
“#910: --Make Should Have a -J Flag for Parallel Building ”
“Wiki ”
“Immix ”
“New Plugins • Wiki • Glasgow Haskell Compiler / GHC ”
“Hackage: Introduction ”
“Barracuda: An Ad-Hoc P2P Chat Program ”
Barracuda: An ad-hoc P2P chat program
“DBus: D-Bus Bindings ”
“DisTract: Distributed Bug Tracking System ”
DisTract: Distributed Bug Tracking System
“DrIFT-Cabalized: Program to Derive Type Class Instances ”
DrIFT-cabalized: Program to derive type class instances
“FermatsLastMargin: Annotate Ps and Pdf Documents ”
FermatsLastMargin: Annotate ps and pdf documents
“Flippi: Wiki ”
“HFuse: HFuse Is a Binding for the Linux FUSE Library ”
HFuse: HFuse is a binding for the Linux FUSE library
“HRay: Haskell Raytracer ”
“HTTP: A Library for Client-Side HTTP ”
HTTP: A library for client-side HTTP
“Network.HTTP ”
“Hashell: Simple Shell Written in Haskell ”
Hashell: Simple shell written in Haskell
“Judy Bindings, and Some Nice APIs ”
Judy bindings, and some nice APIs
“ListZipper: Simple Zipper for Lists ”
ListZipper: Simple zipper for lists
“Monadius: 2-D Arcade Scroller ”
Monadius: 2-D arcade scroller
“TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors ”
TypeIlluminator: TypeIlluminator is a prototype tool exploring debugging of type errors
“ZMachine: A Z-Machine Interpreter ”
ZMachine: A Z-machine interpreter
“Adhoc-Network: Ad-Hoc P2P Network Protocol ”
adhoc-network: Ad-hoc P2P network protocol
“Archiver: Archive Supplied URLs in WebCite & Internet Archive ”
archiver: Archive supplied URLs in WebCite & Internet Archive
“Archiver: Archive Supplied URLs in WebCite & Internet Archive ”
archiver: Archive supplied URLs in WebCite & Internet Archive
“Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions ”
array-memoize: Memoization combinators using arrays for finite sub-domains of functions
“Control.Concurrent.MVar ”
“Data.Monoid ”
“Prelude ”
Prelude
“Bio: A Bioinformatics Library ”
bio: A bioinformatics library
“Blaze-Builder: Efficient Buffered Output ”
blaze-builder: Efficient buffered output
“Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell ”
blaze-html: A blazingly fast HTML combinator library for Haskell
“Botpp: Build Tool for Lambdabot ”
botpp: Build tool for Lambdabot
“Brainfuck: Brainfuck Interpreter ”
brainfuck: Brainfuck interpreter
“Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface ”
bytestring: Fast, compact, strict and lazy byte strings with a list interface
“Cabal-Query: Helpers for Quering .cabal Files or HackageDB's 00-Index.tar ”
cabal-query: Helpers for quering .cabal files or hackageDB's 00-index.tar
“Clustertools: Tools for Manipulating Sequence Clusters ”
clustertools: Tools for manipulating sequence clusters
“Condorcet: Library for Condorcet Voting ”
condorcet: Library for Condorcet voting
“Conjure: A BitTorrent Client ”
conjure: A BitTorrent client
“Data.Graph ”
“Data.Set ”
“Curl: Haskell Binding to Libcurl ”
“Network.Curl ”
“Network.Curl ”
“Darcs-Cabalized: David's Advanced Version Control System ”
darcs-cabalized: David's Advanced Version Control System
“Darcs-Graph: Generate Graphs of Darcs Repository Activity ”
darcs-graph: Generate graphs of darcs repository activity
“Analyze Quality of Nucleotide Sequences. ”
Analyze quality of nucleotide sequences.
“Djinn: Generate Haskell Code from a Type ”
djinn: Generate Haskell code from a type
“Estreps: Repeats from ESTs ”
“Feed: Interfacing With RSS (V 0.9x, 2.x, 1.0) + Atom Feeds. ”
feed: Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds.
“Fst: Finite State Transducers ”
fst: Finite state transducers
“Genericserialize: Serialization Library Using Data.Generics ”
genericserialize: Serialization library using Data.Generics
“Ghclive: Interactive Haskell Interpreter in a Browser ”
ghclive: Interactive Haskell interpreter in a browser
“Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc. ”
“Goa: GHCi Bindings to Lambdabot ”
goa: GHCi bindings to lambdabot
“GreenCard, a Foreign Function Pre-Processor for Haskell ”
GreenCard, a foreign function pre-processor for Haskell
“Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell ”
greencard-lib: A foreign function interface pre-processor library for Haskell
“Hakyll: A Static Website Compiler Library ”
hakyll: A static website compiler library
“Harp: HaRP Allows Pattern-Matching With Regular Expressions ”
harp: HaRP allows pattern-matching with regular expressions
“Hashed-Storage: Hashed File Storage Support Code. ”
hashed-storage: Hashed file storage support code.
“Hashtables: Mutable Hash Tables in the ST Monad ”
hashtables: Mutable hash tables in the ST monad
“Haskell-In-Space: 'Asteroids' Arcade Games ”
haskell-in-space: 'Asteroids' arcade games
“Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer ”
haskell-src-exts: Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
“Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts ”
haskell-type-exts: A type checker for Haskell/
“Hback: N-Back Memory Game ”
“Helisp: An Incomplete Elisp Compiler ”
helisp: An incomplete Elisp compiler
“Hetris: Text Tetris ”
“Hgeometric: A Geometric Library With Bindings to GPC ”
hgeometric: A geometric library with bindings to GPC
“HighWaterMark: Memory Usage Statistics ”
highWaterMark: Memory usage statistics
“Hinstaller: Installer Wrapper for Haskell Applications ”
hinstaller: Installer wrapper for Haskell applications
“Hjs: JavaScript Parser ”
“Hlint: Source Code Suggestions ”
“Haskell API Search ”
“Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface ”
hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface
“Hs-Fltk: Binding to GUI Library FLTK ”
hs-fltk: Binding to GUI library FLTK
“Hscurses: NCurses Bindings for Haskell ”
hscurses: NCurses bindings for Haskell
“Hsdip: a Diplomacy Parser/renderer ”
hsdip: a Diplomacy parser/
“Hsdns: Asynchronous DNS Resolver ”
hsdns: Asynchronous DNS Resolver
“Parsec Parsers for the Internet Message Format (E-Mail) ”
Parsec parsers for the Internet Message format (e-mail)
“Library Wrapping the GnuTLS API. ”
Library wrapping the GnuTLS API.
“Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations ”
hsntp: Libraries to use SNTP protocol and small client/
“Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages. ”
Haskell Server Pages is a library for writing dynamic server-side web pages.
“Hspr-Sh: Session Handler for HSP ”
hspr-sh: Session handler for HSP
“Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support ”
http-enumerator: HTTP client package with enumerator interface and HTTPS support
“Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (Deprecated) ”
“Hybrid: A Implementation of a Type-Checker for Lambda-H ”
hybrid: A implementation of a type-checker for Lambda-H
“Infix Expression Re-Parsing (For HsParser Library) ”
Infix expression re-parsing (for HsParser library)
“Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting ”
interlude: Replaces some Prelude functions for enhanced error reporting
“Iteratee: Iteratee-Based I/O ”
iteratee: Iteratee-based I/
“Theorem Proving Library Based on Dependent Type Theory ”
Theorem proving library based on dependent type theory
“Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot ”
lambdabot-utils: Utility libraries for the advanced IRC bot, Lambdabot
“Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs ”
lazysmallcheck: A library for demand-driven testing of Haskell programs
“Linkchk Is a Network Interface Link Ping Monitor. ”
linkchk is a network interface link ping monitor.
“Mohws: Modular Haskell Web Server ”
mohws: Modular Haskell Web Server
“Mpdmate: MPD/PowerMate Executable ”
mpdmate: MPD/
“Mtl: Monad Classes for Transformers, Using Functional Dependencies ”
mtl: Monad classes for transformers, using functional dependencies
“Control.Monad.State.Lazy ”
“Nanocurses: Simple Curses Binding ”
nanocurses: Simple Curses binding
“Network: Low-Level Networking Interface ”
network: Low-level networking interface
“Network-Uri: URI Manipulation ”
network-uri: URI manipulation
“Data.Number.CReal ”
“Nymphaea: An Interactive GUI for Manipulating L-Systems ”
nymphaea: An interactive GUI for manipulating L-systems
“Orchid: Haskell Wiki Library ”
orchid: Haskell Wiki Library
“Pesca: Proof Editor for Sequent Calculus ”
pesca: Proof Editor for Sequent Calculus
“Pkcs1: RSA Encryption With PKCS1 Padding ”
pkcs1: RSA encryption with PKCS1 padding
“Plugins: Dynamic Linking for Haskell and C Objects ”
plugins: Dynamic linking for Haskell and C objects
“Popenhs: Popenhs Is a Popen-Like Library for Haskell ”
popenhs: popenhs is a popen-like library for Haskell
“Powermate: Bindings for Griffin PowerMate USB ”
powermate: bindings for Griffin PowerMate USB
“Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper ”
pugs-HsSyck: Fast, lightweight YAML loader and dumper
“Pugs-Hsregex: Haskell PCRE Binding ”
pugs-hsregex: Haskell PCRE binding
“Push-Notify: A Server-Side Library for Sending Push Notifications ”
push-notify: A server-side library for sending push notifications
“Rbr: Mask Nucleotide (EST) Sequences in Fasta Format ”
rbr: Mask nucleotide (EST) sequences in Fasta format
“Serialize Data ”
“Roguestar-Engine: Sci-Fi Roguelike Game ”
roguestar-engine: Sci-fi roguelike game
“Sci-Fi Roguelike Game. Client Library. ”
Sci-fi roguelike game. Client library.
“The RogueStar Animation and Graphics Library ”
The RogueStar Animation and Graphics Library
“Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel ”
rss2irc: watches an RSS/
“Scion: Haskell IDE Library ”
“Show: 'Show' Instances for Lambdabot ”
show: 'Show' instances for Lambdabot
“Simseq: Simulate Sequencing With Different Models for Priming and Errors ”
simseq: Simulate sequencing with different models for priming and errors
“Smallcheck: A Property-Based Testing Library ”
smallcheck: A property-based testing library
“Split: Combinator Library for Splitting Lists ”
split: Combinator library for splitting lists
“Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString ”
storablevector: Fast, packed, strict storable arrays with a list interface like ByteString
“Tagsoup: Parsing and Extracting Information from (Possibly Malformed) HTML/XML Documents ”
tagsoup: Parsing and extracting information from (possibly malformed) HTML/
“Text.HTML.TagSoup.Parser ”
“Text.HTML.TagSoup.Parser ”
“Tetris: A 2-D Clone of Tetris ”
tetris: A 2-D clone of Tetris
“Typing Haskell In Haskell ”
“Trhsx: Deprecated ”
“Type-Equality-Check: Type Equality Check ”
type-equality-check: Type equality check
“Unix: POSIX Functionality ”
“Unlambda: Unlambda Interpreter ”
unlambda: Unlambda interpreter
“Urlcheck: Parallel Link Checker ”
urlcheck: Parallel link checker
“Vector: Efficient Arrays ”
“Vty: A Simple Terminal UI Library ”
vty: A simple terminal UI library
“Xml-Parsec: Parsing XML With Parsec ”
xml-parsec: Parsing XML with Parsec
“Xml2x: Convert BLAST Output in XML Format to CSV or HTML ”
xml2x: Convert BLAST output in XML format to CSV or HTML
“XMonad.Actions.Search ”
“XMonad.Prompt.Shell ”
“Xmonad-Utils: A Small Collection of X Utilities ”
xmonad-utils: A small collection of X utilities
“Xsact: Cluster EST Sequences ”
xsact: Cluster EST sequences
“Yi-Gtk: The Haskell-Scriptable Editor, Helper Package ”
yi-gtk: The Haskell-Scriptable Editor, helper package
“Yi-Vty: The Haskell-Scriptable Editor, Helper Package ”
yi-vty: The Haskell-Scriptable Editor, helper package
“Packages by Category ”
“Packages by Category ”
“Hledger Homepage ”
“Hoogle ”
“%5BInt%5D_->_Int ”
“%5Ba%5D_->_%5Ba%5D ”
“%5Ba%5D_->_a ”
“Hoogle: =<< ”
“(Monoid_a)_=>_a ”
“(Monoid_a)_=>_a_->_a_->_a ”
“(A1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D ”
“(A_->_b_->_c)_->_(A,b)_->_c ”
“(A_->_m_b)_->_%5Ba%5D_->_m_() ”
“(X_->_Bool)_->_(X_->_x)_->_x_->_x ”
“Control.Monad.void ”
“Control.Parallel.Strategies ”
“Data.List ”
“Data.List.sort ”
“Data.Monoid ”
“Data.Sequence ”
“Eq_a_=>_%5Ba%5D_->_%5Ba%5D ”
“Eq_a_=>_%5Ba%5D_->_%5Ba%5D ”
“Filter ”
“IO_a_->_IO_() ”
“IO_a_->_IO_ThreadId ”
“IO_a_->_IO_a ”
“Int_->_%5Ba%5D_->_%5Ba%5D ”
“Int_->_a_->_%5Ba%5D ”
“Monad ”
“Network.HTTP ”
“Ord_a_=>_%5Ba%5D_->_%5Ba%5D ”
“Ord_a_=>_%5Ba%5D_->_%5Ba%5D ”
“Product ”
“String_->_Int ”
“System.Cmd ”
“System.FilePath.dropExtension ”
“System.Process ”
“XMonad.Actions.Search ”
“A_->_%5Ba%5D ”
“A_->_%5Ba%5D_->_Int ”
“A_->_(A_->_a)_->_%5Ba%5D ”
“Concat ”
“ElemIndex ”
“ElemIndices ”
“Filter ”
“GetArgs ”
“GetContents ”
“IsPrefixOf ”
“Iterate ”
“LiftM ”
“LogBase ”
“LogBase ”
“Hoogle: map ”
“Hoogle: mapM ”
“Hoogle: mapM_ ”
“Hoogle: maximum ”
“Hoogle: nub ”
“Hoogle: product ”
“ReadProcessWithExitCode ”
“ReadProcessWithExitCode ”
“Repeat ”
“Replicate ”
“RunCommand ”
“Spawn ”
“TakeWhile ”
“TakeWhile ”
“Uncurry ”
“UnsafeInterleaveIO ”
“Words ”
“Turnstyle: an Esoteric Visual Functional Language ”
Turnstyle: an esoteric visual functional language
“The Cabal-Devel Archives ”
“GHC Core Plugins ”
“The Haskell-Cafe May 2007 Archive by Thread ”
The Haskell-Cafe May 2007 Archive by thread
“[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009 ”
[Haskell-cafe] Re: [Haskell] Google Summer of Code 2009
“[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009 ”
[Haskell-cafe] Re: [Haskell] Google Summer of Code 2009
“The Haskell-Cafe February 2009 Archive by Subject ”
The Haskell-Cafe February 2009 Archive by subject
“[Haskell-Cafe] Haskell Summers of Code Retrospective (Updated for 2010) ”
[Haskell-cafe] Haskell Summers of Code retrospective (updated for 2010)
“GSoC Project Proposal: Markdown Support for Haddock ”
GSoC Project Proposal: Markdown support for Haddock
“[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator ”
[Haskell-cafe] [ANNOUNCE] fficxx: haskell-C++ FFI binding generator
“[Haskell-Cafe] [Haskell.org Google Summer of Code 2013] Approved Projects ”
[Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects
“[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices ”
[Haskell-cafe] Google Summer of Code Proposal—Communicating with mobile devices
“This FTP Site [Oleg Kiselyov Homepage] ”, Kiselyov 2025
This FTP site [Oleg Kiselyov homepage]
“Streams and Incremental Processing ”, Kiselyov 2025
Streams and Incremental Processing
“Cartesian Closed Comic #15: Iteratees ”
Cartesian Closed Comic #15: Iteratees
“The Sad State of Property-Based Testing Libraries ”
The sad state of property-based testing libraries
“Application Information ”
“[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library ”
[Haskell-cafe] ANN: unordered-containers—a new, faster hashing-based containers library
“Adding an Ignore Function to Control.Monad ”
Adding an ignore function to Control.Monad
“[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3 ”
[Haskell-cafe] RE: [Haskell] Announce: Yi 0.3
“[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage ”
[Haskell-cafe] Usage of rewrite rule specialization in Hackage
“[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies ”
[Haskell-cafe] Haskell statistics for use of TypeFamilies and FunctionalDependencies
“[Haskell-Cafe] Summer of Code ”
[Haskell-cafe] Summer of Code
“[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (And Cabal-1.16.0.1) ”
[Haskell-cafe] ANN: cabal-install-1.16.0 (and Cabal-1.16.0.1)
“Improve System.Environment Haddocks ”
Improve System.Environment haddocks
“Proposal: Add Int Indexing Functions to Data.Set ”
Proposal: add Int indexing functions to Data.Set
“Arrow ”
Arrow
“Cabal-Install ”
“Cabal-Install ”
“GHC/Data Parallel Haskell ”
“Generalised Algebraic Datatype ”
Generalised algebraic datatype
“Google Summer of Code ”
“HaskellWiki ”
“Haskell Platform ”
“Hp2any ”
Hp2any
“Hpysics ”
Hpysics
“Parallelism and Concurrency ”
Parallelism and concurrency
“Stack Overflow ”
“Tail Recursion ”
“The Monad.Reader ”
“User:Gwern ”
“Xmonad/Config Archive ”
“Xmonad/Config Archive/Gwern's Xmonad.hs ”
“Zipper ”
Zipper
“Search ”
Search
“Haskell Wiki § User:Gwern Contributions ”
Haskell Wiki § User:Gwern contributions
“‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012 ”
‘Making cabal-install non-destructive’; Philipp Schuster, Andres Loh September 12, 2012
“Gwern Site:http://www.haskell.org/pipermail/haskell-Cafe/ ”
“Gwern Site:http://www.haskell.org/pipermail/libraries/ ”
“Gwern Site:http://www.haskell.org/pipermail/xmonad/ ”
“Haskell Language ”
“The Haskell Cabal ”
“Really Old Cabal Stuff ”
Wikipedia
Miscellaneous
/doc/cs/ haskell/ 2009-09-dijkstra-vimeo-thearchitecturesoftheutrechthaskellcompiler-talk.mp4 : http://impredicative.com/ ur/ : http://math.andrej.com/ 2007/ 09/ 28/ seemingly-impossible-functional-programs/ : http://sparky.haskell.org:8080/ package/ blaze-builder/ reverse/ all http://sparky.haskell.org:8080/ package/ blaze-html/ reverse/ all http://sparky.haskell.org:8080/ package/ haskell-src-exts/ reverse/ all http://sparky.haskell.org:8080/ package/ haskell-src/ reverse/ all https://archives.haskell.org/ code.haskell.org/ monadius/ Monadius/ Demo.hs https://archives.haskell.org/ code.haskell.org/ ~Saizan/ cabal/ https://blog.ploeh.dk/ 2017/ 10/ 04/ from-design-patterns-to-category-theory/ https://book.realworldhaskell.org/ read/ data-structures.html#id637702 https://chromakode.com/ post/ xkcd-machine/ : https://dennybritz.com/ posts/ probability-monads-from-scratch/ : https://gist.github.com/ harryaskham/ 68a611bef777525991790bca2f2d324d https://hackage.haskell.org/ package/ probability : https://harrisongoldste.in/ papers/ icse24-pbt-in-practice.pdf : https://hsyl20.fr/ home/ files/ papers/ 2022-ghc-modularity.pdf : https://jaspervdj.be/ posts/ 2020-09-17-lazysort.html : https://jaspervdj.be/ posts/ 2023-07-22-lazy-layout.html : https://pages.cpsc.ucalgary.ca/ ~robin/ class/ 449/ Evolution.htm https://stefan.saasen.me/ articles/ git-clone-in-haskell-from-the-bottom-up/ : https://web.archive.org/ web/ 20060517222319/ http:// hackage.haskell.org/ trac/ summer-of-code/ : https://web.archive.org/ web/ 20060620090542/ http:// hackage.haskell.org/ trac/ summer-of-code/ report/ 1 : https://web.archive.org/ web/ 20060629061358/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 3 : https://web.archive.org/ web/ 20060629061857/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 30 : https://web.archive.org/ web/ 20060629062124/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 44 : https://web.archive.org/ web/ 20060629062327/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 54 : https://web.archive.org/ web/ 20060629062454/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 61 : https://web.archive.org/ web/ 20060629062841/ http:// hackage.haskell.org/ trac/ summer-of-code/ ticket/ 81 : https://web.archive.org/ web/ 20091001184532/ http:// sparky.haskell.org:8080/ : https://web.archive.org/ web/ 20100324194403/ https:// hackage.haskell.org/ trac/ hackage/ ticket/ 576 : https://web.archive.org/ web/ 20111206064418/ https:// hackage.haskell.org/ trac/ hackage/ wiki/ HBuild : https://web.archive.org/ web/ 20130510012249/ https:// hackage.haskell.org/ packages/ archive/ log : https://wiki.haskell.org/ Frag : https://wiki.haskell.org/ wikiupload/ 5/ 5d/ TMR-Issue9.pdf : https://wiki.haskell.org/ wikiupload/ f/ f0/ TMR-Issue12.pdf : https://www.cole-k.com/ 2023/ 02/ 21/ tiny-games-hs/ : https://www.ioccc.org/ 2019/ lynn/ hint.html :
Bibliography
2006-walker.pdf: “Static Typing for a Faulty Lambda Calculus ”,