Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
A place to collect work on dialectica categories.
A project to create open source, re-usable latex for category theory definitions.
Linguistic data to test basic phenomena
a corpus of short stories with multiple choice question-answers, from the work of Matthew Richardson, Christopher J.C. Burges and Erin Renshaw.
Forked from jlevy/the-art-of-command-line
Master the command line, in one page