Durwasa Chakraborty

Verified jq -> SQL translation, kernel-checked in Lean 4.

Dafny 4.9.1 + code-server (VS Code in browser)

Prebuilt OCaml DevContainer, multi-arch, fast setup, works with VSCode & Codespaces

Oto: A Source-to-Source Transformation Framework for Guitar Tablature

Program Analysis

LLVM 20.1.7 + Clang built from source on Ubuntu 24.04 with GCC, CMake, Ninja. Ready for dev use.