- rich-typed-pointers 3 Smart pointers that rely on the type system
- net-prove 2 Academic theorem prover based on proof nets, focused on LG, written in Haskell.
- the-red-spider-project 1
- mpl11 0 What does template metaprogramming look like in C++0x?
- XKCDForumUtility 0 Utility scripts for the XKCD Forum in Chrome Extension form
Repositories contributed to
- NBOCampbellToets/CampbellSoup 0 CampbellSoup, the web-based archive of Campbell test questions.
- the-xkcd-community/the-red-spider-project 35 Coding and xkcd combined, for fun!
- flask-admin/flask-admin 1,034 Simple and extensible administrative interface framework for Flask
- xen-0/the-red-spider-project 1
- UUDigitalHumanitieslab/corpus-scraper 0 Automated corpus data collection for several online word-in-context corpuses
Contributions in the last year 37 total Apr 25, 2014 – Apr 25, 2015
Longest streak 3 days January 24 – January 26
Current streak 0 days Last contributed