Jason Gross's repositories
adt-synthesis
Repo for ADT Synthesis work, to eventually be integrated into github
HoTT-mathcamp-2015-class
Syllabus and exercises for the class on HoTT I plan to teach at Candada/USA Mathcamp 2015
outrageous-interpreter
Automatically exported from code.google.com/p/outrageous-interpreter
andromeda
A minimalist implementation of type theory, suitable for experimentation
c-semantics
Semantics of C in K
coq-style-guide
Rough musings about stylistic matters in Coq developments
formal-modal-combat
Attempt at formalizing https://github.com/machine-intelligence/provability in Coq
language-ecmascript
Haskell library: ECMAScript parser, pretty-printer and additional tools
lean-inductive-inductive-desugar
Python scripts to desugar fully annotated lean inductive inductive definitions to mutual inductives
masters-thesis
Personal Masters Thesis
misc-files
Miscellaneous useful files
monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
NuprlInCoq
Implementation of Nuprl's type theory in Coq
octane
The JavaScript Benchmark Suite for the modern web
parser-suite-js
Collection of parsers to test against
pygments-main
Fork of https://bitbucket.org/birkenfeld/pygments-main
repo-coqs
The repository for Coq versions for developers.
rhino
Rhino is an open-source implementation of JavaScript written entirely in Java
v8-git-mirror
The official mirror of the V8 Git repository from https://chromium.googlesource.com/v8/v8.git