Tej Chajed's repositories
coq-tricks
Tricks you wish the Coq manual told you
iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
coq-record-update
Library to create Coq record update functions
protocol-verification-fa2023
Assignments for COMP SCI 839 from UW-Madison in Fall 2023
iris-named-props
Named Props for Iris
dafny-syntax-tutorial
Short introduction to Dafny
seplogic-demo
Demos for lecture on Separation Logic by O'Hearn from CACM 2019.
botc-tools
Storyteller tools for Blood on the Clocktower
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
uw-cs-letterhead
LaTeX class to create letterhead for the Department of Computer Sciences at the University of Wisconsin–Madison
botc-custom-script-json2pdf
Yet Another Custom Script Generator for Blood on the Clocktower
coq-arrows-theorem
Proof of Arrow's Impossibility Theorem
cs537-sp24-syllabus
PDF syllabus for CS 537 at UW-madison
homebrew-core
:beers: Core formulae for the Homebrew package manager
latex-tricks
Advanced tricks for weird LaTeX behavior
ostep-code
Code from various chapters in OSTEP (http://www.ostep.org)
personal-website
Sources to generate personal website
starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!