JasonGross

ct4s

Exercises for Category Theory For Scientists (18.S996, Spring 2013, http://math.mit.edu/~dspivak/teaching/sp13/)

barnowl-deduplicate-messages

BarnOwl plugin to deduplicate BarnOwl messages

Musica2

Fork of sourceforge Mathematica Musica package updated to work with Mathematica 8

tester

A web app to test you on vocab

benediktahrens-coq-fossil

Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq

categoricaldata

fork of http://code.categoricaldata.net/categoricaldata/

ESG-SP.211-8.012

ESG SP.211-8.012

ESG-SP.212-8.022

gummi

A fork of the LaTeX editor gummi (http://dev.midnightcoding.org/projects/gummi)

jquery.imgloaded

Fork of Paul Irish's image loaded method for jQuery

locality

CTAN Locality Package

diagrams

A playground for building category theory on top of commutative diagrams in Coq.

habitrpg-shared

Shared resources useful for multiple HabitRPG repositories. Assets (sprites, imgs, etc), CSS, algorithms, and more.

HoTT-categories

A category theory library built on top of Homotopy Type Theory, based primarily on https://bitbucket.org/JasonGross/catdb, with some inspiration from https://github.com/benediktahrens/Foundations/tree/typesystems

insane

Toy typechecker for Insanely Dependent Types

lambda-cat

A work in progress of converting lambda calculus terms to functors

logitext

Beautiful, interactive visualizations of logical inference

ML-LambdaJS

JavaScript semantics

urweb-latex

Demo for an Ur/Web app using the C FFI to compile LaTeX documents