Pinned Repositories
Coq-HoTT
A Coq library for Homotopy Type Theory
coq-scripts
Various useful scripts for dealing with Coq files
coq-tactics
Collection of tactics I've found useful in Coq
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
guarantees-based-mechanistic-interpretability
lob
Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)
lob-paper
A write-up of https://github.com/JasonGross/lob
tikzplotlib
:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.
unsong_scraper
Unsong for kindle, based on https://github.com/rhelsing/worm_scraper
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
JasonGross's Repositories
JasonGross/ct4s
Exercises for Category Theory For Scientists (18.S996, Spring 2013, http://math.mit.edu/~dspivak/teaching/sp13/)
JasonGross/barnowl-deduplicate-messages
BarnOwl plugin to deduplicate BarnOwl messages
JasonGross/Musica2
Fork of sourceforge Mathematica Musica package updated to work with Mathematica 8
JasonGross/tester
A web app to test you on vocab
JasonGross/Agda
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
JasonGross/benediktahrens-coq-fossil
Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq
JasonGross/categoricaldata
fork of http://code.categoricaldata.net/categoricaldata/
JasonGross/ClosestPoints
A Coq implementation of an O(n log n) algorithm for finding the closest pair of points in a plane
JasonGross/coq-8.6-wishlist
Presentation of wishlist for Coq for POPL 2014
JasonGross/ESG-SP.211-8.012
ESG SP.211-8.012
JasonGross/ESG-SP.212-8.022
JasonGross/gummi
A fork of the LaTeX editor gummi (http://dev.midnightcoding.org/projects/gummi)
JasonGross/jquery.imgloaded
Fork of Paul Irish's image loaded method for jQuery
JasonGross/locality
CTAN Locality Package
JasonGross/academic-papers-local
Copies of academic papers referenced on my personal website
JasonGross/agda-stdlib
Clone of agda standard library http://www.cse.chalmers.se/~nad/repos/lib/ using https://github.com/purcell/darcs-to-git
JasonGross/category-coq-experience-tests
Automatically test a large number of category theory libraries
JasonGross/coqdoc-bug
Repo to recreate coqdoc bug https://coq.inria.fr/bugs/show_bug.cgi?id=3292
JasonGross/diagrams
A playground for building category theory on top of commutative diagrams in Coq.
JasonGross/Foundations
Development of the univalent foundations of mathematics in Coq
JasonGross/habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
JasonGross/habitrpg-shared
Shared resources useful for multiple HabitRPG repositories. Assets (sprites, imgs, etc), CSS, algorithms, and more.
JasonGross/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
JasonGross/insane
Toy typechecker for Insanely Dependent Types
JasonGross/lambda-cat
A work in progress of converting lambda calculus terms to functors
JasonGross/latex-util
A PSet class and common header file
JasonGross/logitext
Beautiful, interactive visualizations of logical inference
JasonGross/ML-LambdaJS
JavaScript semantics
JasonGross/urweb-latex
Demo for an Ur/Web app using the C FFI to compile LaTeX documents