-
‘CS’ tag
-
Statistical Notes
-
Archiving URLs
-
Auto-smallcaps filter
-
About Gwern
-
Solving Pascal’s Mugging with Dynamic Programming
-
Spaced Repetition for Efficient Learning
-
Prediction Markets
-
Nootropics
-
Summers of Code, 2006–2013
-
Writing a Wikipedia Link Archive Bot
-
‘HP: Methods of Rationality’ review statistics
-
Candy Japan’s new box A/B test
-
Who Wrote The Death Note Script?
-
2012 election predictions
-
Touhou music by the numbers
-
Bitcoin donations on The Pirate Bay
-
Archiving GitHub
-
SICP Chapter 1.1 notes
-
Golfing Run Length Encoding in Haskell
-
Writing a Wikipedia RSS Link Archive Bot
-
Choosing Software
-
Hypertime in Haskell
-
SICP Chapter 1.3
-
Resilient Haskell Software
-
SICP Chapter 1.2 notes
-
Functional Ownership through Fractional Uniqueness
-
Typed Design Patterns for the Functional Era
-
Problem 14 Dynamic Programming Solutions
-
Understanding Jane Street: Strong Language
-
Keep Your Laziness in Check
-
The Kelly Coin-Flipping Game: Exact Solutions
-
Modular implicits
-
Practical Probabilistic Programming with Monads
-
hyphenation: Configurable Knuth-Liang hyphenation
-
The architecture of the Utrecht Haskell compiler
-
Omega Monad: Enumerating a Context-Free Language
-
Infinite sets that admit fast exhaustive search
-
Static typing for a faulty lambda calculus
-
Total Functional Programming
-
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
-
A functional description of TeX’s formula layout
-
Using circular programs to eliminate multiple traversals of data
-
From Löb's Theorem to Spreadsheet Evaluation
-
7d350ca22ad8a2e7ef25dfaefbe37bc7f0aecd2c.html
-
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
-
3d9d88f5c21e47afc8a09ac74d4ba7d5aadfc59d.html
-
The Dhall Configuration Language
-
GhcLiVE Project Escapes!
-
Parallelize Cabal Build over Modules
-
install -J: Allow Limiting the Number of Parallel Linker Invocations
-
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
-
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
-
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
-
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
-
https://hoogle.haskell.org/?hoogle=mapM
-
MapM_
-
Maximum
-
Product
-
ReadProcessWithExitCode
-
Repeat
-
Replicate
-
RunCommand
-
Spawn
-
TakeWhile
-
Uncurry
-
UnsafeInterleaveIO
-
Words
-
Turnstyle: an Esoteric Visual Functional Language
-
5ed927055b812274f6d848695b27d382c0670827.html
-
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
-
3ac2428fb573b84f7f81bbf3a70b85b7ef5e673b.html
-
The Sad State of Property-Based Testing Libraries
-
6069497d9f8d7b081b3da41e5b8a7207be128238.html
-
Application Information
-
2231836d6755a3d8f42c765e9b190ffbe746137c.html
-
[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
-
0689ee5724666c5faf2eb3495dbc840fca05d274.pdf
-
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
-
2009-09-dijkstra-vimeo-thearchitecturesoftheutrechthaskellcompiler-talk.mp4
-
http://impredicative.com/ur/
-
e9c8517019f854979b2b6d54e163fffccc8cdf9a.html
-
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/
-
3122e64507823d8b39ac7d6597cd737e2a8ad2b1.html
-
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/curl/reverse/all
-
http://sparky.haskell.org:8080/package/enumerator/reverse
-
http://sparky.haskell.org:8080/package/gmap/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/
-
87cc2b17dbc9f3fbb3a8364fb1d525b1bb908464.html
-
https://community.haskell.org/~ndm/hlint/
-
https://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki
-
https://dennybritz.com/posts/probability-monads-from-scratch/
-
c9fe07ed941ce6c840206ed23c2220c5be861c5a.html
-
https://gist.github.com/harryaskham/68a611bef777525991790bca2f2d324d
-
https://github.com/DSLsofMath/DSLsofMath
-
https://hackage.haskell.org/package/probability
-
https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf
-
bbccbbe268729a049cb8f8f0b2138e416e15238a.pdf
-
https://hoogle.haskell.org/?hoogle=Num
-
https://hoogle.haskell.org/?hoogle=Read
-
https://hoogle.haskell.org/?hoogle=Show
-
https://hoogle.haskell.org/?hoogle=Sum
-
https://hoogle.haskell.org/?hoogle=any
-
https://hoogle.haskell.org/?hoogle=drop
-
https://hoogle.haskell.org/?hoogle=fst
-
https://hoogle.haskell.org/?hoogle=id
-
https://hoogle.haskell.org/?hoogle=last
-
https://hoogle.haskell.org/?hoogle=nub
-
https://hoogle.haskell.org/?hoogle=snd
-
https://hoogle.haskell.org/?hoogle=tail
-
https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf
-
61f6dfd7b4ca6250876d44cb505cdc8de2d16d10.pdf
-
https://iagoleal.com/posts/value-iteration-haskell/
-
https://jaspervdj.be/posts/2020-09-17-lazysort.html
-
44d5f95f243134d2b000a38aa9339809d7822f8a.html
-
https://jaspervdj.be/posts/2023-07-22-lazy-layout.html
-
a44e055baf52d985946104feb195df528ac20ad6.html
-
https://monad-bayes-site.netlify.app/_site/about.html
-
https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htm
-
https://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/
-
96e5d75c7efb9e31da21b53ef6b2e446635b2449.html
-
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/20070513121920/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2006
-
https://web.archive.org/web/20080107023717/http://hackage.haskell.org/trac/summer-of-code/ticket/1122
-
https://web.archive.org/web/20080324101857/http://hackage.haskell.org/trac/summer-of-code/ticket/1537
-
https://web.archive.org/web/20080324102704/http://hackage.haskell.org/trac/summer-of-code/ticket/1536
-
https://web.archive.org/web/20080324102735/http://hackage.haskell.org/trac/summer-of-code/ticket/1545
-
https://web.archive.org/web/20080331232242/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008
-
https://web.archive.org/web/20080401152704/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2007
-
https://web.archive.org/web/20080408151715/http://hackage.haskell.org/trac/summer-of-code/ticket/1560
-
https://web.archive.org/web/20091001184532/http://sparky.haskell.org:8080/
-
https://web.archive.org/web/20100123083943/http://hackage.haskell.org/trac/summer-of-code/ticket/1579
-
https://web.archive.org/web/20100130045958/http://hackage.haskell.org/trac/summer-of-code/ticket/1574
-
https://web.archive.org/web/20100324194403/https://hackage.haskell.org/trac/hackage/ticket/576
-
https://web.archive.org/web/20100416105141/http://hackage.haskell.org/trac/summer-of-code/ticket/1585
-
https://web.archive.org/web/20100416132315/http://hackage.haskell.org/trac/summer-of-code/ticket/1584
-
https://web.archive.org/web/20111206064418/https://hackage.haskell.org/trac/hackage/wiki/HBuild
-
https://web.archive.org/web/20130128105157/https://www.haskell.org/pipermail/haskell-cafe/2010-December/087158.html
-
https://web.archive.org/web/20130128105201/https://www.haskell.org/pipermail/haskell/2009-June/021388.html
-
https://web.archive.org/web/20130510012249/https://hackage.haskell.org/packages/archive/log
-
https://web.archive.org/web/20150211215353/https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci-debugger.html
-
https://wiki.haskell.org/Frag
-
https://wiki.haskell.org/wikiupload/5/5d/TMR-Issue9.pdf
-
9f48c3fdf2ce455b7b7d6e1a4117b6dcb0427429.pdf
-
https://wiki.haskell.org/wikiupload/f/f0/TMR-Issue12.pdf
-
a24e3b1e954c5d7e49ee2ba1265d131ed38466df.pdf
-
https://www.cole-k.com/2023/02/21/tiny-games-hs/
-
8e27e5540b5499da00439aaac40adeaeacc8c238.html
-
https://www.ioccc.org/2019/lynn/hint.html
-
8106aa145b4aa955faa7df0f32467026961309f1.html
-
https://www.tryhaskell.org/
-
https://x.com/harryaskham/status/1636376676329455617
-
Problem 14 Dynamic Programming Solutions
-
Gwern.net Homepage
[Transclude the forward-link's context]
-
%252Fproblem-14.html
-
Understanding Jane Street: Strong Language
-
https%253A%252F%252Fwww.thediff.co%252Fp%252Fjane-street%2523%2525C2%2525A7strong-language.html
-
The Kelly Coin-Flipping Game: Exact Solutions
-
Gwern.net Homepage
[Transclude the forward-link's context]
-
%252Fcoin-flip.html
-
Static typing for a faulty lambda calculus
-
%252Fdoc%252Fcs%252Fcomputable%252F2006-walker.pdf.html
-