Ismail Kuru's starred repositories
osdi23-paper114-ae
Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
plugin-tutorial
Yet another plugin tutorial, this time as an exercise for 598
pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
seplogic-demo
Demos for lecture on Separation Logic by O'Hearn from CACM 2019.
models-of-interaction
Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation
ltac2-tutorial
Ltac2 tutorial
snmalloc-rs
rust bindings of snmalloc