Jason Gross's repositories
social-interactions
Musings on social interactions and emotions
coq-bug-minimizer-paper-bigdata
Some data associated with https://github.com/JasonGross/coq-bug-minimizer-paper
multinomials
Multinomials for the Mathematical Components library.
agda-1
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib-1
The Agda standard library
bbv
Bedrock Bit Vector Library
coq-bisect
Some boiler-plate around bisecting with Coq
coq-bug-minimizer-paper
A paper about the bug minimizer of https://github.com/JasonGross/coq-tools , https://github.com/coq-community/run-coq-bug-minimizer
cross-crypto
Connecting computational and symbolic crypto models
javascript-coq-action
Initial stab at a JavaScript-based Coq GitHub action
martin-lof
papers of Per Martin Löf
mctb_scraper
Adaptation of https://github.com/TheBrain0110/worm_scraper and https://github.com/JasonGross/unsong_scraper for https://www.mctb.org/mctb2
ocamlverse.github.io
Documentation of everything relevant in the OCaml world
odd-order
The formal proof of the Odd Order Theorem
perennial
Verifying concurrent crash-safe systems
pgfplots
pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interface and pgfplotstable - a TeX package to round and format numerical tables. Examples in manuals and/or on web site.
platform
Multi platform setup for Coq, Coq libraries and tools
test-broken-tar
A test repo to demonstrate a bug in tar
test-haskell-bug
Testing a Haskell bug
test-latex-errors
Temp repo for testing latex errors on CI
verdi
A framework for formally verifying distributed systems implementations in Coq