The Wayback Machine - https://web.archive.org/web/20220905222420/https://github.com/tchajed
Skip to content
Avatar
191 followers · 16 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3
BetaSend feedback

Highlights

  • Pro

Organizations

@mit-pdos @coq-community
Block or Report

Block or report tchajed

Report abuse

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

Report abuse

Pinned

  1. coq-tricks Public

    Tricks you wish the Coq manual told you

    Coq 386 13

  2. goose Public

    Goose converts a small subset of Go to Coq

    Go 67 7

  3. mit-pdos/perennial Public

    Verifying concurrent crash-safe systems

    Coq 84 18

  4. iris-simp-lang Public

    We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

    Coq 37 3

  5. coq-record-update Public

    Library to create Coq record update functions

    Coq 37 13

  6. ltac2-tutorial Public

    Ltac2 tutorial

    Coq 32 2

2,001 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to tchajed/thesis, mit-pdos/daisy-nfsd, mit-pdos/perennial and 43 other repositories

Contribution activity

September 2022

71 contributions in private repositories Sep 1 – Sep 4