Pinned Repositories
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Diff
Clone of Sterling Clover's Diff repo on hub.darcs.net
harp
Import of harp-0.4 from hackage
haskell-unixutils
Foster home for wayward Unix utility functions
hsx2hs
Literal XML syntax in Haskell source code
logic-classes
Framework for propositional and first order logic, theorem proving
mtl-unleashed
MonadReader and MonadState without the functional dependencies
process-extras
Extra functionality for the Process library
th-context
uuid-orphans
Orphan instances and other add-ons for the uuid package
seereason's Repositories
seereason/unicode-properties
Unicode 3.2.0 character properties
seereason/ghcjs-boot
boot libraries for ghcjs
seereason/ghcjs-promise
Haskell js FFI bidirectional binding to javascript's promises.
seereason/happstack-server
An HTTP Server
seereason/filemanip-extra
Collected add-on IO functions based on ListLIke and filemanip
seereason/HaTeX
The Haskell LaTeX library.
seereason/th-context
seereason/th-path
Path code from appraisalscribe-data
seereason/haskell-mime
A library for processing MIME messages
seereason/tagged
phantom types
seereason/bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
seereason/exceptions
mtl friendly exceptions
seereason/nixpkgs
Nix Packages collection
seereason/feed
Haskell package for handling various feed (RSS) formats.
seereason/pretty
Haskell Pretty-printer library
seereason/web-routes
portable, type-safe URL routing
seereason/th-path-core
Core data types for the th-path package
seereason/mtl-unleashed
MonadReader and MonadState without the functional dependencies
seereason/userid
a UserId type with some useful instances.
seereason/microlens-compat
seereason/th-expand-syns
Expands type synonyms in Template Haskell ASTs
seereason/quandl-api
Quandl.com API implementation in Haskell
seereason/HJScript
seereason/ghcbug
A bug in the optimizer, present in ghc-7.10.2 thru 7.10.3-rc1
seereason/Grempa
Embedded grammar DSL and LALR parser generator
seereason/hs-certificate
Certificate and Key Reader/Writer in haskell
seereason/happstack-authenticate-0
Old happstack-authenticate 0.x series
seereason/mimo-paste
SImple MIMO app
seereason/mimo-optimum
MIMO app
seereason/nodejs-debian
Debianization of nodejs generated by https://github.com/nodesource/distributions