‘Haskell’ tag
- See Also
-
Gwern
- “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
- “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
- “Modular Implicits”, White et al 2015
- “Practical Probabilistic Programming With Monads”, Ścibior et al 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”
- “GhcLiVE Project Escapes!”
- “Parallelize Cabal Build over Modules”
-
“
install -J: Allow Limiting the Number of Parallel Linker Invocations”, Glushenkov 2024 - “Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment”, Mar 2024
- “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”
- “=<<”
- “(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”
- “MapM_”
- “MapM_”
- “MapM_”
- “Maximum”
- “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”
- “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
See Also
Gwern
“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
“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
“Modular Implicits”, White et al 2015
“Practical Probabilistic Programming With Monads”, Ścibior et al 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
Total Functional Programming:
View PDF:
“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”
“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:
View External Link:
“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”
“GhcLiVE Project Escapes!”
View External Link:
https://ghclive.wordpress.com/2012/08/20/ghclive-project-escapes/
“Parallelize Cabal Build over Modules”
“install -J: Allow Limiting the Number of Parallel Linker Invocations”, Glushenkov 2024
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 2024
Decide on core principles against which to judge breaking changes #12 § Simon Mar comment
“Articles”
articles:
View Markdown:
“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”
View External Link:
“Barracuda: An Ad-Hoc P2P Chat Program”
Barracuda: An ad-hoc P2P chat program:
View External Link:
“DBus: D-Bus Bindings”
View External Link:
“DisTract: Distributed Bug Tracking System”
DisTract: Distributed Bug Tracking System:
View External Link:
“DrIFT-Cabalized: Program to Derive Type Class Instances”
DrIFT-cabalized: Program to derive type class instances:
View External Link:
“FermatsLastMargin: Annotate Ps and Pdf Documents”
FermatsLastMargin: Annotate ps and pdf documents:
View External Link:
“Flippi: Wiki”
View External Link:
“HFuse: HFuse Is a Binding for the Linux FUSE Library”
HFuse: HFuse is a binding for the Linux FUSE library:
View External Link:
“HRay: Haskell Raytracer”
View External Link:
“HTTP: A Library for Client-Side HTTP”
HTTP: A library for client-side HTTP:
View External Link:
“Network.HTTP”
“Hashell: Simple Shell Written in Haskell”
Hashell: Simple shell written in Haskell:
View External Link:
“Judy Bindings, and Some Nice APIs”
Judy bindings, and some nice APIs:
View External Link:
“ListZipper: Simple Zipper for Lists”
ListZipper: Simple zipper for lists:
View External Link:
“Monadius: 2-D Arcade Scroller”
Monadius: 2-D arcade scroller:
View External Link:
“TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors”
TypeIlluminator: TypeIlluminator is a prototype tool exploring debugging of type errors:
View External Link:
“ZMachine: A Z-Machine Interpreter”
ZMachine: A Z-machine interpreter:
View External Link:
“Adhoc-Network: Ad-Hoc P2P Network Protocol”
adhoc-network: Ad-hoc P2P network protocol:
View External Link:
“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:
View External Link:
“Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions”
array-memoize: Memoization combinators using arrays for finite sub-domains of functions:
View External Link:
“Control.Concurrent.MVar”
“Data.Monoid”
“Prelude”
Prelude:
“Bio: A Bioinformatics Library”
bio: A bioinformatics library:
View External Link:
“Blaze-Builder: Efficient Buffered Output”
blaze-builder: Efficient buffered output:
View External Link:
“Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell”
blaze-html: A blazingly fast HTML combinator library for Haskell:
View External Link:
“Botpp: Build Tool for Lambdabot”
botpp: Build tool for Lambdabot:
View External Link:
“Brainfuck: Brainfuck Interpreter”
brainfuck: Brainfuck interpreter:
View External Link:
“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:
View External Link:
“Clustertools: Tools for Manipulating Sequence Clusters”
clustertools: Tools for manipulating sequence clusters:
View External Link:
“Condorcet: Library for Condorcet Voting”
condorcet: Library for Condorcet voting:
View External Link:
“Conjure: A BitTorrent Client”
conjure: A BitTorrent client:
View External Link:
“Data.Graph”
“Data.Set”
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:
View External Link:
“Darcs-Graph: Generate Graphs of Darcs Repository Activity”
darcs-graph: Generate graphs of darcs repository activity:
View External Link:
“Analyze Quality of Nucleotide Sequences.”
Analyze quality of nucleotide sequences.:
View External Link:
“Djinn: Generate Haskell Code from a Type”
djinn: Generate Haskell code from a type:
View External Link:
“Estreps: Repeats from ESTs”
View External Link:
“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.:
View External Link:
“Fst: Finite State Transducers”
fst: Finite state transducers:
View External Link:
“Genericserialize: Serialization Library Using Data.Generics”
genericserialize: Serialization library using Data.Generics:
View External Link:
“Ghclive: Interactive Haskell Interpreter in a Browser”
ghclive: Interactive Haskell interpreter in a browser:
View External Link:
“Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc.”
“Goa: GHCi Bindings to Lambdabot”
goa: GHCi bindings to lambdabot:
View External Link:
“GreenCard, a Foreign Function Pre-Processor for Haskell”
GreenCard, a foreign function pre-processor for Haskell:
View External Link:
“Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell”
greencard-lib: A foreign function interface pre-processor library for Haskell:
View External Link:
“Hakyll: A Static Website Compiler Library”
hakyll: A static website compiler library:
View External Link:
“Harp: HaRP Allows Pattern-Matching With Regular Expressions”
harp: HaRP allows pattern-matching with regular expressions:
View External Link:
“Hashed-Storage: Hashed File Storage Support Code.”
hashed-storage: Hashed file storage support code.:
View External Link:
“Hashtables: Mutable Hash Tables in the ST Monad”
hashtables: Mutable hash tables in the ST monad:
View External Link:
“Haskell-In-Space: 'Asteroids' Arcade Games”
haskell-in-space: 'Asteroids' arcade games:
View External Link:
“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:
View External Link:
“Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts”
haskell-type-exts: A type checker for Haskell/haskell-src-exts:
View External Link:
“Hback: N-Back Memory Game”
View External Link:
“Helisp: An Incomplete Elisp Compiler”
helisp: An incomplete Elisp compiler:
View External Link:
“Hetris: Text Tetris”
View External Link:
“Hgeometric: A Geometric Library With Bindings to GPC”
hgeometric: A geometric library with bindings to GPC:
View External Link:
“HighWaterMark: Memory Usage Statistics”
highWaterMark: Memory usage statistics:
View External Link:
“Hinstaller: Installer Wrapper for Haskell Applications”
hinstaller: Installer wrapper for Haskell applications:
View External Link:
“Hjs: JavaScript Parser”
View External Link:
“Hlint: Source Code Suggestions”
“Haskell API Search”
View External Link:
“Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface”
hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface:
View External Link:
“Hs-Fltk: Binding to GUI Library FLTK”
hs-fltk: Binding to GUI library FLTK:
View External Link:
“Hscurses: NCurses Bindings for Haskell”
hscurses: NCurses bindings for Haskell:
View External Link:
“Hsdip: a Diplomacy Parser/renderer”
hsdip: a Diplomacy parser/renderer:
View External Link:
“Hsdns: Asynchronous DNS Resolver”
hsdns: Asynchronous DNS Resolver:
View External Link:
“Parsec Parsers for the Internet Message Format (e-Mail)”
Parsec parsers for the Internet Message format (e-mail):
View External Link:
“Library Wrapping the GnuTLS API.”
Library wrapping the GnuTLS API.:
View External Link:
“Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations”
hsntp: Libraries to use SNTP protocol and small client/server implementations:
View External Link:
“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.:
View External Link:
“Hspr-Sh: Session Handler for HSP”
hspr-sh: Session handler for HSP:
View External Link:
“Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support”
http-enumerator: HTTP client package with enumerator interface and HTTPS support:
View External Link:
“Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (deprecated)”
View External Link:
“Hybrid: A Implementation of a Type-Checker for Lambda-H”
hybrid: A implementation of a type-checker for Lambda-H:
View External Link:
“Infix Expression Re-Parsing (for HsParser Library)”
Infix expression re-parsing (for HsParser library):
View External Link:
“Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting”
interlude: Replaces some Prelude functions for enhanced error reporting:
View External Link:
“Iteratee: Iteratee-Based I/O”
iteratee: Iteratee-based I/O:
View External Link:
“Theorem Proving Library Based on Dependent Type Theory”
Theorem proving library based on dependent type theory:
View External Link:
“Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot”
lambdabot-utils: Utility libraries for the advanced IRC bot, Lambdabot:
View External Link:
“Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs”
lazysmallcheck: A library for demand-driven testing of Haskell programs:
View External Link:
“Linkchk Is a Network Interface Link Ping Monitor.”
linkchk is a network interface link ping monitor.:
View External Link:
“Mohws: Modular Haskell Web Server”
mohws: Modular Haskell Web Server:
View External Link:
“Mpdmate: MPD/PowerMate Executable”
mpdmate: MPD/PowerMate executable:
View External Link:
“Mtl: Monad Classes for Transformers, Using Functional Dependencies”
mtl: Monad classes for transformers, using functional dependencies:
View External Link:
“Control.Monad.State.Lazy”
“Nanocurses: Simple Curses Binding”
nanocurses: Simple Curses binding:
View External Link:
“Network: Low-Level Networking Interface”
network: Low-level networking interface:
View External Link:
“Network-Uri: URI Manipulation”
network-uri: URI manipulation:
View External Link:
“Data.Number.CReal”
“Nymphaea: An Interactive GUI for Manipulating L-Systems”
nymphaea: An interactive GUI for manipulating L-systems:
View External Link:
“Orchid: Haskell Wiki Library”
orchid: Haskell Wiki Library:
View External Link:
“Pesca: Proof Editor for Sequent Calculus”
pesca: Proof Editor for Sequent Calculus:
View External Link:
“Pkcs1: RSA Encryption With PKCS1 Padding”
pkcs1: RSA encryption with PKCS1 padding:
View External Link:
“Plugins: Dynamic Linking for Haskell and C Objects”
plugins: Dynamic linking for Haskell and C objects:
View External Link:
“Popenhs: Popenhs Is a Popen-Like Library for Haskell”
popenhs: popenhs is a popen-like library for Haskell:
View External Link:
“Powermate: Bindings for Griffin PowerMate USB”
powermate: bindings for Griffin PowerMate USB:
View External Link:
“Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper”
pugs-HsSyck: Fast, lightweight YAML loader and dumper:
View External Link:
“Pugs-Hsregex: Haskell PCRE Binding”
pugs-hsregex: Haskell PCRE binding:
View External Link:
“Push-Notify: A Server-Side Library for Sending Push Notifications”
push-notify: A server-side library for sending push notifications:
View External Link:
“Rbr: Mask Nucleotide (EST) Sequences in Fasta Format”
rbr: Mask nucleotide (EST) sequences in Fasta format:
View External Link:
“Serialize Data”
View External Link:
“Roguestar-Engine: Sci-Fi Roguelike Game”
roguestar-engine: Sci-fi roguelike game:
View External Link:
“Sci-Fi Roguelike Game. Client Library.”
Sci-fi roguelike game. Client library.:
View External Link:
“The RogueStar Animation and Graphics Library”
The RogueStar Animation and Graphics Library:
View External Link:
“Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel”
rss2irc: watches an RSS/Atom feed and writes it to an IRC channel:
View External Link:
“Scion: Haskell IDE Library”
View External Link:
“Show: 'Show' Instances for Lambdabot”
show: 'Show' instances for Lambdabot:
View External Link:
“Simseq: Simulate Sequencing With Different Models for Priming and Errors”
simseq: Simulate sequencing with different models for priming and errors:
View External Link:
“Smallcheck: A Property-Based Testing Library”
smallcheck: A property-based testing library:
View External Link:
“Split: Combinator Library for Splitting Lists”
split: Combinator library for splitting lists:
View External Link:
“Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString”
storablevector: Fast, packed, strict storable arrays with a list interface like ByteString:
View External Link:
“Tagsoup: Parsing and Extracting Information from (possibly Malformed) HTML/XML Documents”
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”
tetris: A 2-D clone of Tetris:
View External Link:
“Typing Haskell In Haskell”
View External Link:
“Trhsx: Deprecated”
View External Link:
“Type-Equality-Check: Type Equality Check”
type-equality-check: Type equality check:
View External Link:
“Unix: POSIX Functionality”
View External Link:
“Unlambda: Unlambda Interpreter”
unlambda: Unlambda interpreter:
View External Link:
“Urlcheck: Parallel Link Checker”
urlcheck: Parallel link checker:
View External Link:
“Vector: Efficient Arrays”
“Vty: A Simple Terminal UI Library”
vty: A simple terminal UI library:
View External Link:
“Xml-Parsec: Parsing XML With Parsec”
xml-parsec: Parsing XML with Parsec:
View External Link:
“Xml2x: Convert BLAST Output in XML Format to CSV or HTML”
xml2x: Convert BLAST output in XML format to CSV or HTML:
View External Link:
“XMonad.Actions.Search”
“XMonad.Prompt.Shell”
“Xmonad-Utils: A Small Collection of X Utilities”
xmonad-utils: A small collection of X utilities:
View External Link:
“Xsact: Cluster EST Sequences”
xsact: Cluster EST sequences:
View External Link:
“Yi-Gtk: The Haskell-Scriptable Editor, Helper Package”
yi-gtk: The Haskell-Scriptable Editor, helper package:
View External Link:
“Yi-Vty: The Haskell-Scriptable Editor, Helper Package”
yi-vty: The Haskell-Scriptable Editor, helper package:
View External Link:
“Packages by Category”
“Packages by Category”
View External Link:
“Hledger Homepage”
“Hoogle”
“%5BInt%5D_->_Int”
“%5Ba%5D_->_%5Ba%5D”
“%5Ba%5D_->_a”
“=<<”
“(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”
“MapM_”
“MapM_”
“MapM_”
“Maximum”
“Product”
“ReadProcessWithExitCode”
“ReadProcessWithExitCode”
“Repeat”
“Replicate”
“RunCommand”
“Spawn”
“TakeWhile”
“TakeWhile”
“Uncurry”
“UnsafeInterleaveIO”
“Words”
“Turnstyle: an Esoteric Visual Functional Language”
“The Cabal-Devel Archives”
View External Link:
“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)”
[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] [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:
“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”
[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] 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] 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”
“Proposal: Add Int Indexing Functions to Data.Set”
“Arrow”
Arrow:
View External Link:
“Cabal-Install”
View External Link:
“Cabal-Install”
View External Link:
“GHC/Data Parallel Haskell”
View External Link:
“Generalised Algebraic Datatype”
Generalised algebraic datatype:
View External Link:
“Google Summer of Code”
View External Link:
“HaskellWiki”
View External Link:
“Haskell Platform”
View External Link:
“Hp2any”
Hp2any:
View External Link:
“Hpysics”
Hpysics:
View External Link:
“Parallelism and Concurrency”
“Stack Overflow”
View External Link:
“Tail Recursion”
View External Link:
“The Monad.Reader”
View External Link:
“User:Gwern”
View External Link:
“Xmonad/Config Archive”
View External Link:
https://wiki.haskell.org/Xmonad/Config_archive#Downloading_all_configs
“Xmonad/Config Archive/Gwern's Xmonad.hs”
“Zipper”
Zipper:
View External Link:
“Search”
Search:
View External Link:
https://wiki.haskell.org/index.php?title=&search=&fulltext=Search
“Haskell Wiki § User:Gwern Contributions”
Haskell Wiki § User:Gwern contributions:
View External Link:
https://wiki.haskell.org/index.php?title=Special:Log&user=Gwern
“‘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://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://dennybritz.com/posts/probability-monads-from-scratch/: -
https://gist.github.com/harryaskham/68a611bef777525991790bca2f2d324d -
https://hackage.haskell.org/package/probability:View External Link:
-
https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf: -
https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf: -
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/:View External Link:
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:View External Link:
Bibliography
-
https://www.thediff.co/p/jane-street#%C2%A7strong-language: “Understanding Jane Street: Strong Language”, -
2006-walker.pdf: “Static Typing for a Faulty Lambda Calculus”,