Jason Gross's repositories
time-worked
A few python scripts for logging how much time I've worked on some project.
18.705-coq
Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq
18.904-quillen-model-structures
Class paper for 18.904 - Seminar in Topology
18.905-coq
Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq
18.S996-coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
8.06-decoherence-paper
Paper on decoherence for 8.06 - Quantum Mechanics III
CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
coq-debian-build-scripts
Various scripts for packaging versions of Coq into a ppa
coq-ext-lib
A library of Coq definitions, theorems, and tactics.
coq-record-update
Library to create Coq record update functions
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coq-test
Test repository for futzing with GitHub Actions
devinterp
Tools for studying developmental interpretability in neural networks.
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
neelutils
Random utils for personal use
principle-of-least-action
A derivation of the principle of least action
SWE-bench
SWE-Bench: Can Language Models Resolve Real-world Github Issues?
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations