Pinned Repositories
dump-core
graphmod
A utility for displaying the module dependencies of Haskell programs.
haskell-lexer
A fully compliant Haskell 98 lexer.
haskell-zipper
A Haskell datastructure for working with locations in trees or forests.
monadlib
A monad transformer library for Haskell
presburger
Decision procedures for Presburger arithmetic in Haskell
pretty-show
Tools for working with derived Show instances in Haskell.
simple-smt
type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
url
A URL package for Haskell
yav's Repositories
yav/graphmod
A utility for displaying the module dependencies of Haskell programs.
yav/pretty-show
Tools for working with derived Show instances in Haskell.
yav/type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
yav/dump-core
yav/monadlib
A monad transformer library for Haskell
yav/presburger
Decision procedures for Presburger arithmetic in Haskell
yav/simple-smt
yav/haskell-lexer
A fully compliant Haskell 98 lexer.
yav/url
A URL package for Haskell
yav/games
yav/MageKnight
yav/panic
A Haskell library for reporting unexpected behavior.
yav/advent_of_code
yav/colorize-haskell
Highligt Haskell source
yav/deck-builder
Deck builder!
yav/hansa_teutonica
yav/simple-get-opt
A simple library for processing command-line options to Haskell programs.
yav/web-games
yav/1d-chess
yav/arlington-pdf-model
A vendor- and implementation-independent specification-derived, machine-readable model of PDF.
yav/cdg
yav/hs-search
yav/KOI
Common code for interactive browser based games
yav/quebec
yav/snake
yav/songs
yav/toml-parser
Haskell parser and printer for the TOML 1.0.0 file format
yav/wable
yav/yann
yav/zen