Pinned Repositories
adjunctions
Simple adjunctions
after-sundown
annihilative
annihilative semigroups in Haskell
bullet-list
A snoc list
bytestring-text
ByteString-based text
choice
class-mappable
a class for mappable containers
concat
Constrained categories
data-category
Library of categories, with categorical constructions on them
semicategory
Semicategories in Haskell, heavily inspired by Edward Kmett's Hask, Conal Elliott's 'Denotational Design', and Awodey's 'Category Theory'
wygulmage's Repositories
wygulmage/after-sundown
wygulmage/data-category
Library of categories, with categorical constructions on them
wygulmage/f.el
Modern API for working with files and directories in Emacs
wygulmage/fac.el
Emacs Face Manipulation
wygulmage/hackerskeyboard
Hacker's Keyboard (official)
wygulmage/hask
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
wygulmage/highlight-stages
[emacs] highlight staged (quasi-quoted) expressions
wygulmage/hook-up.el
Make emacs hooks easier to work with.
wygulmage/ht.el
The missing hash table library for Emacs
wygulmage/ivy-rich
wygulmage/javascript
JavaScript Style Guide
wygulmage/KISS
Lightning fast, open-source, < 200kb Android launcher
wygulmage/LanguagePack
A language pack project for AnySoftKeyboard
wygulmage/let-plus.el
let*, cl-labels, and seq-let all in one package.
wygulmage/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
wygulmage/miscellaneous.el
Miscellaneous procedures that really belong somewhere else.
wygulmage/primary-pane.el
Track the primary pane (``window'') in emacs.
wygulmage/shen-sources
The Official Shen Sources
wygulmage/subhask
Type safe interface for working in subcategories of Hask
wygulmage/vimperatorrc
My vimperator dotfile