Skip to content
View tchajed's full-sized avatar

Highlights

  • Pro

Organizations

@mit-pdos @rocq-community

Block or report tchajed

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

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

Rust 72,951 6,530 Updated Jan 10, 2026

🍨 Soothing pastel theme for (Neo)vim

Lua 7,096 320 Updated Jan 8, 2026

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

Zig 86,135 3,906 Updated Jan 10, 2026

A library for interacting with bear's local sqlite DB

Rust 1 2 Updated Nov 6, 2025

HotCRP conference review software

PHP 383 127 Updated Jan 9, 2026

A high level diffing library for rust based on diffs

Rust 1,198 46 Updated Feb 5, 2025

Tool to manage perennial verification projects

Go 3 1 Updated Dec 12, 2025

Install Rocq in CI

TypeScript 2 Updated Dec 22, 2025

Run your GitHub Actions locally 🚀

Go 68,032 1,820 Updated Jan 1, 2026

Go library for the TOML file format

Go 1,894 231 Updated Jan 9, 2026

🌸 A command-line fuzzy finder

Go 76,764 2,662 Updated Jan 8, 2026

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

Python 5 Updated Nov 5, 2025

A TOML toolkit written in Rust

Rust 2,091 159 Updated Oct 22, 2025

Streamlined note searching and creation for Bear using Alfred

Go 440 25 Updated Feb 26, 2025

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

PostScript 4 2 Updated Feb 26, 2017

Split an NSF proposal into submission documents

Go 2 Updated Jan 9, 2026

Course website for Systems Verification Fall 2025

Python 5 9 Updated Dec 22, 2025

Library to create Coq record update functions

Rocq Prover 48 19 Updated Nov 25, 2025
Python 29 10 Updated Dec 12, 2025

Course website for Systems Verification Fall 2024

Shell 13 9 Updated Jul 10, 2025

Notes about ld.so

C 3 Updated Feb 13, 2025

The Feldera Incremental Computation Engine

Rust 1,747 91 Updated Jan 10, 2026

Creating a minimal ELF file

Rust 120 4 Updated May 9, 2025
Rocq Prover 67 33 Updated Sep 4, 2025

Named Props for Iris

Rocq Prover 10 8 Updated Nov 25, 2025

A vuepress theme with tons of features✨

TypeScript 2,479 814 Updated Jan 10, 2026

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

Rocq Prover 1 1 Updated Dec 12, 2025

Ergonomic bindings to SQLite for Rust

Rust 3,981 439 Updated Jan 9, 2026

IP Control module for 2018+ LG TVs

TypeScript 114 11 Updated Dec 27, 2025
Next