Jason Gross's repositories
coq-scripts
Various useful scripts for dealing with Coq files
neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
JasonGross.github.io
My personal website
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tikzplotlib
:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.
bisect_ppx
Code coverage for OCaml and ReScript
Cirron
Cirron measures how many CPU instructions and system calls a piece of Python code executes.
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
coq-packaging
Debian packaging for Coq
fiat-crypto
Cryptographic Primitive Code Generation in Fiat
gitignore
A collection of useful .gitignore templates
graham-essays
📚 Download the full collection of Paul Graham essays in EPUB, PDF & Markdown for easy reading.
memoize
A cross-format package for externalization of graphics and memoization of compilation results in general
plotly.py
The interactive graphing library for Python :sparkles: This project now includes Plotly Express!
publications
A .bib file of my publications
rupicola
Extracting imperative code from Gallina
sparse_autoencoder
Sparse Autoencoder for Mechanistic Interpretability
TransformerLens
A library for mechanistic interpretability of GPT-style language models