The Wayback Machine - https://web.archive.org/web/20211031133047/https://github.com/JasonGross
Skip to content
Avatar
141 followers · 10 following · 43

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@barnowl @mitex @coq @sipb @mit-plv
Block or Report

Block or report JasonGross

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. mit-plv/fiat-crypto Public

    Cryptographic Primitive Code Generation by Fiat

    Coq 425 109

  2. HoTT/HoTT Public

    Homotopy type theory

    Coq 1k 161

  3. coq-tools Public

    Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

    Python 30 7

  4. lob Public

    Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)

    Coq 16 2

  5. lob-paper Public

    A write-up of https://github.com/JasonGross/lob

    Agda 4 3

  6. social-interactions Public

    Musings on social interactions and emotions

    5 3

2,298 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Happy Halloween! Learn how we count contributions
Less More

Contribution activity

October 2021

Created 75 commits in 8 repositories
Created 1 repository

Created a pull request in coq-community/run-coq-bug-minimizer that received 6 comments

Add survey to coqbot response

@Zimmi48 @achlipala Does the wording in early-feedback.md look good to you? @Zimmi48 Could you make @coqbot stick the PR/Issue number in the file c…

+10 −0 • 6 comments
Opened 10 other pull requests in 7 repositories
Reviewed 8 pull requests in 5 repositories

Created an issue in coq/coq that received 5 comments

[feature request] Try vernacular

I'd like a Try vernacular, whose spec is: If Foo. succeeds, then Try Foo. behaves as Foo.; if Foo. fails then Try Foo. behaves as Fail Foo.. This w…

5 comments
Opened 14 other issues in 7 repositories
JasonGross/coq-tools 2 open 2 closed
coq/coq 4 open
coq/bot 1 closed 1 open
HoTT/HoTT 1 open
uwplse/verdi 1 closed
coq-community/docker-coq-action 1 open
mit-plv/fiat-crypto 1 closed