danbornside/hott-ex
Public repository.
Developer Profile
danbornside
Discovered public repositories for danbornside in the GitHub catalog.
danbornside/purescript-xhr
simple XMLHttpRequest wrapper for purescript.
danbornside/pulp
A build system and package manager for PureScript projects
danbornside/cronex
Public repository.
danbornside/sorted_containers
Python Sorted Container Types: SortedList, SortedDict, and SortedSet
danbornside/HoTT-Agda
Development of homotopy type theory in Agda
danbornside/ermine
The Ermine Programming Language - Join us on irc.freenode.net #ermine
danbornside/agda-vim
Agda interaction in vim
danbornside/pru
Simple (100 line) XML and JSON writing combinators
danbornside/vim-pathogen
pathogen.vim: manage your runtimepath
danbornside/pymtp-nkb
My development branch of pymtp
danbornside/wsgilite
A grab-bag of helpers and scripts to make the life of a python webapp developer a little easier.