Tej Chajed tchajed
4 followers · 5 following
  • San Francisco, CA
  • https://www.chajed.io

  • Research scientist at Theorem. Former professor at UW-Madison.

  • Joined on 2016-08-24
Repositories
136
 Projects Packages Starred repositories
5
Filter
Sort
setup-rocq
TypeScript 0 0
Install Rocq in CI
Updated 2026-09-11 00:48:04 +00:00
game-a-day
TypeScript 0 0
Building one game every day
Updated 2026-08-24 03:22:02 +00:00
dotfiles-new
Emacs Lisp 0 0
New dotfiles managed by AI
Updated 2026-08-17 15:27:23 +00:00
personal-website
HTML 0 0
Personal website
Updated 2026-08-10 19:48:28 +00:00
dotfiles-theorem
Emacs Lisp 1 0
Updated 2026-08-01 16:41:21 +00:00
setup-rocq-test
Shell 0 0
Updated 2026-07-26 15:44:08 +00:00
question-bank
Go 0 0
Updated 2026-07-20 11:24:40 +00:00
botc-tools
TypeScript 0 0
Storyteller tools for Blood on the Clocktower
Updated 2026-07-14 15:13:52 +00:00
zed-hotcrp
C 1 0
Updated 2026-07-03 18:19:23 +00:00
sys-verif-materials
Rocq Prover 1 0
Course materials for Systems Verification at UW-Madison
Updated 2026-07-01 18:37:29 +00:00
web-timer
TypeScript 1 0
Simple web timer
Updated 2026-07-01 17:13:35 +00:00
detex-rs
Rust 0 0
Port of opendetex to Rust
Updated 2026-06-20 00:42:01 +00:00
coq-record-update
Rocq Prover 0 0
Library to create Coq record update functions
Updated 2026-06-08 16:06:25 +00:00
lean-zed
Tree-sitter Query 1 0
Lean 4 syntax highlighting extension for Zed
Updated 2026-06-07 16:42:20 +00:00
dotfiles
Emacs Lisp 0 0
Personal dotfiles configuration
Updated 2026-06-01 19:05:36 +00:00