Lean 4 port of Iris, a higher-order concurrent separation logic framework

Review and refine Git diffs before you push

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

🍨 Soothing pastel theme for Neovim

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

A library for interacting with bear's local sqlite DB

HotCRP conference review software

A high level diffing library for rust based on diffs

Tool to manage perennial verification projects

Install Rocq in CI

Run your GitHub Actions locally 🚀

Go library for the TOML file format

🌸 A command-line fuzzy finder

Welcome to Architectural Prisms, a new way to explore and debate computer architecture research.

A TOML toolkit written in Rust

Streamlined note searching and creation for Bear using Alfred

LaTeX class to create letterhead for the Department of Computer Sciences at the University of Wisconsin–Madison

Split an NSF proposal into submission documents

Course website for Systems Verification Fall 2025

Library to create Coq record update functions

Course website for Systems Verification Fall 2024

Notes about ld.so

The Feldera Incremental Computation Engine

Creating a minimal ELF file

Named Props for Iris

A vuepress theme with tons of features✨

Automated proof-instrumented marshalling and unmarshalling for verified distributed systems in Go.