Jason Gross's repositories
doctoral-thesis
Personal PhD Thesis
proviola-source
Proviola, a tool for proof reanimation.
coq-union-find
A repository for playing with union-find in Coq
lean-tools
Some scripts to help construct small reproducing examples of bugs, etc (Port of https://github.com/JasonGross/coq-tools)
book
A textbook on informal homotopy type theory
coq-bench
Scripts for differential performance testing of Coq packages / versions
coqutil
Coq library for tactics, basic definitions, sets, maps
docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
dune
A composable build system for OCaml.
FanFicFare
FanFicFare is a tool for making eBooks from stories on fanfiction and other web sites.
gpt-2
Code for the paper "Language Models are Unsupervised Multitask Learners"
kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
mathcamp-2015-equality-class
Notes and HW from my 2015 Mathcamp equality-in-Coq class
normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
p-sylow-calculator
Mathematica notebook for calculating properties of p-Sylow subgroups
reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
repo-anonymizer
A small script that anonymizes repos for paper submission
RQE
Documents for my Research Qualifying Examinations
test-coq-plugin-macos
Temporary test repo for a plugin on Mac OSX
test-ghc-issue-18038
Test for https://gitlab.haskell.org/ghc/ghc/issues/18038
test-speech-api
A test of the Speech API
uncertainty-propagation
Mathematica notebook for propagation of uncertainty
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
urweb
The Ur/Web programming language
youtube-dl
Command-line program to download videos from YouTube.com and other video sites