📓 Flexible and configurable modern #Haskell logging framework
Repositories
srid Repositories
Backup your Github and Bitbucket repositories
Sync code between two machines -- from development to deployment
Markup as CoffeeScript.
Pure Haskell commonmark parsing library, designed to be flexible and extensible
Simple interface to https://github.com/jgm/commonmark-hs
Commonmark Wikilink parser for Pandoc
Compiling to Categories
Managing the exercises in Convict Conditioning program
Docker based environment for Coursera's Exploring Neural Data course
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
The Dao of Functional Programming
a simple bliki - runs on appengine (this project is dead)
Chrome Extension to delete notices on Wikipedia for donations for their biasedness and lack of desire to make amends.
JSON rpc over http for Golang (Go)
Dendrite adds all your logs to a single structured log stream, so you can search, graph, and analyze easier.
Dependently-typed finite maps (partial dependent products)