Jason Gross's repositories
slow-coq-examples
Examples of Coq being really slow
test-mit-license
Test repo for autogenerated MIT license
worm_scraper
Worm for kindle
bedrock
Not necessarily up-to-date mirror of hg bedrock repository
bignums
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
CompCert
The CompCert formally-verified C compiler
coq-dpdgraph
Build dependency graphs between COQ objects
coq-www
Sources files of the coq.inria.fr website (static part)
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
flocq
Not up to date mirror of https://scm.gforge.inria.fr/anonscm/git/flocq/flocq.git
lean-playground
Some basic learning exercises in lean
ltac2
A standalone implementation of Ltac2 as a Coq plugin
math-classes
A library of abstract interfaces for mathematical structures in Coq.
mirror-core
A framework for extensible, reflective decision procedures.
notations-demonstrations
Some demonstrations of Coq notations
PG
This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)
QuickChick
Randomized Property-Based Testing Plugin for Coq
sf
Not up-to-date mirror of software foundations
stories
Various stories from my life
test-for-github-bug
A dummy test repo for a bug I think exists in github PRs
timeout
A script to measure and limit CPU time and memory consumption of black-box processes in Linux
Timing-plugin
A Coq plugin that allows a user to start and stop timers.
wakatime-mode
Emacs plugin for automatic time tracking and metrics generated from your programming activity.
whats-eliza-like
A variant on the classic ELIZA chatbot that plays the "what's that like?" game
world-editable-chat
A simple thrown-together webpage for chat