Sync code between two machines -- from development to deployment
Repositories
srid repositories
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
Docker based environment for Coursera's Exploring Neural Data course
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
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)
Something something mind maps
out of date
My development environment as a Docker image
Devour all outputs in a Nix flake.