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/adt-synthesis
Repo for ADT Synthesis work, to eventually be integrated into github
JasonGross/HoTT-mathcamp-2015-class
Syllabus and exercises for the class on HoTT I plan to teach at Candada/USA Mathcamp 2015
JasonGross/outrageous-interpreter
Automatically exported from code.google.com/p/outrageous-interpreter
JasonGross/andromeda
A minimalist implementation of type theory, suitable for experimentation
JasonGross/c-semantics
Semantics of C in K
JasonGross/ceps
Coq Enhancement Proposals
JasonGross/coq-bugzilla-testcases
A list of bugs that have no testcases, and bugs I've yet to categorize
JasonGross/coq-plugin-utils
Useful utility functions for writing Coq plugins
JasonGross/coq-style-guide
Rough musings about stylistic matters in Coq developments
JasonGross/csdp-test
Tests for csdp, from https://coq.inria.fr/bugs/show_bug.cgi?id=4983#c9
JasonGross/debugging
A beginner's guide to debugging your code
JasonGross/formal-modal-combat
Attempt at formalizing https://github.com/machine-intelligence/provability in Coq
JasonGross/Github_Markdown_LaTeX
JasonGross/JonPRL
An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl
JasonGross/LambdaJS
Semantics and tools for JavaScript
JasonGross/language-ecmascript
Haskell library: ECMAScript parser, pretty-printer and additional tools
JasonGross/lean-inductive-inductive-desugar
Python scripts to desugar fully annotated lean inductive inductive definitions to mutual inductives
JasonGross/masters-thesis
Personal Masters Thesis
JasonGross/misc-files
Miscellaneous useful files
JasonGross/monospacifier
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
JasonGross/mozjs
Mirror of Mozilla's mozjs
JasonGross/nsatz-assoc-test
Tests for nsatz on weierstrass associativity
JasonGross/NuprlInCoq
Implementation of Nuprl's type theory in Coq
JasonGross/octane
The JavaScript Benchmark Suite for the modern web
JasonGross/parser-suite-js
Collection of parsers to test against
JasonGross/pygments-main
Fork of https://bitbucket.org/birkenfeld/pygments-main
JasonGross/rhino
Rhino is an open-source implementation of JavaScript written entirely in Java
JasonGross/roadmaps
JasonGross/test262
Official ECMAScript Conformance Test Suite
JasonGross/v8-git-mirror
The official mirror of the V8 Git repository from https://chromium.googlesource.com/v8/v8.git