Pinned Repositories
Coq-HoTT
A Coq library for Homotopy Type Theory
coq-scripts
Various useful scripts for dealing with Coq files
coq-tactics
Collection of tactics I've found useful in Coq
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
guarantees-based-mechanistic-interpretability
lob
Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)
lob-paper
A write-up of https://github.com/JasonGross/lob
tikzplotlib
:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.
unsong_scraper
Unsong for kindle, based on https://github.com/rhelsing/worm_scraper
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
JasonGross's Repositories
JasonGross/llm-tools
Random collection of tools for interacting with LLMs
JasonGross/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
JasonGross/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
JasonGross/18.705-coq
Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq
JasonGross/18.905-coq
Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq
JasonGross/18.S996-coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
JasonGross/1L-Sparse-Autoencoder
JasonGross/ARENA_3.0
JasonGross/bisect_ppx
Code coverage for OCaml and ReScript
JasonGross/Cirron
Cirron measures how many CPU instructions and system calls a piece of Python code executes.
JasonGross/coq-packaging
Debian packaging for Coq
JasonGross/coqutil
Coq library for tactics, basic definitions, sets, maps
JasonGross/cupbearer
A library for mechanistic anomaly detection
JasonGross/devinterp
Tools for studying developmental interpretability in neural networks.
JasonGross/gitignore
A collection of useful .gitignore templates
JasonGross/graham-essays
📚 Download the full collection of Paul Graham essays in EPUB, PDF & Markdown for easy reading.
JasonGross/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
JasonGross/hyperref
Hypertext support for LaTeX
JasonGross/infosec_bootcamp
JasonGross/LAProof
JasonGross/mad-experiments
JasonGross/memocache
An overengineered solution to memoization and caching
JasonGross/memoize
A cross-format package for externalization of graphics and memoization of compilation results in general
JasonGross/neelutils
Random utils for personal use
JasonGross/plotly.py
The interactive graphing library for Python :sparkles: This project now includes Plotly Express!
JasonGross/rewriter
A plugin for specialized reflective rewriting of non-dependent terms with let-binder-lifting via NbE
JasonGross/riscv-coq
RISC-V Specification in Coq
JasonGross/rubber-for-python3
A LaTeX building system rubber for Python3 (a fork with issues fixed for macOS)
JasonGross/rupicola
Extracting imperative code from Gallina
JasonGross/sparse_autoencoder
Sparse Autoencoder for Mechanistic Interpretability