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
Lambek-Grishin calculus prover
Forked from davidhund/idiomatic-css
Principles of writing consistent, idiomatic CSS.
Forked from chyingp/grunt-inline
Brings externally referenced resources, such as js, css and images, into a single file.
Forked from kenwheeler/slick
the last carousel you'll ever need
Forked from nomensa/jquery.hide-show
jQuery plugin for inserting buttons/links to hide and show sections of content