Edward Z. Yang

htmlpurifier. Standards compliant HTML filter written in PHP

codemcp. Coding assistant MCP for Claude Desktop

ghstack. Submit stacked diffs to GitHub on the command line

git-ftp. A quick and efficient way of pushing changed files to a website via FTP

convolution-visualizer. Convolution visualizations

logitext. Beautiful, interactive visualizations of logical inference

compact. Compact regions library for Haskell

nvprof2json. Convert nvprof profiles into about:tracing compatible JSON files

scubaduck. Python

torchdbg. PyTorch centric eager mode debugger

csrf-magic. Automatic CSRF protection for PHP applications

pl-class-public. Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

stride-visualizer. Stride visualizations

cusec2012-victor. Transcript of "Inventing on Principle", CUSEC 2012 given by Bret Victor

thesis. Thesis

ghc-shake. ghc --make reimplemented with Shake

lr-agda. Logical relations proof in Agda

refined-claude-ax. UX enhancements to Claude Desktop

metromaps. Metro Maps as envisioned by Dafna Shahaf

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell

pytorch-unattached. Tensors and Dynamic neural networks in Python with strong GPU acceleration

onnx-pytorch. PyTorch development for onnx

SMT-LIB-benchmarks-pytorch-shapes. SMT-LIB benchmarks for shape computations from deep learning models in PyTorch

hpd3js. Haskell heap profiling with D3.js

ghc-rts-rust. A reimplementation of GHC's runtime system in Rust

backpack-examples. Backpack examples repository

ldap-haskell. Bindings for LDAP [Haskell]

eff. Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators

ai-blindspots. Blindspots in LLMs I've noticed while AI coding. Sonnet family emphasis.

HoTT-coqex. Coq solutions to exercises in HoTT book

hamt. Hash Array Mapped Tries in Haskell

ocaml-cminsketch. Count-min sketch implementation in OCaml

hsleak. A collection of space leaks in GHC Haskell

deepseq-magic. Deep evaluation of data structures without NFData

ghc-usage. Frontend plugin to print locally used module info

claude-logbook. Python

cabal. Official upstream development repository for Cabal and cabal-install

ghc-plugin-template. Sample project for GHC core transformation plugins

jfp-ghc-rts. JFP article on the GHC RTS

stenomatic. The Stenomatic 9000: a Steno drilling tool

backpack-regex-example. Regex example with Backpack

reflex-backpack. Reflex with Backpack

tmr-issue24. Mini-issue of The Monad Reader!

coq. Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

scheme-hamt. Hash-array mapped trie in mit-scheme

stg-spec. Specification of GHC's spineless tagless G-machine and its cost semantics

tmr-issue20. The Monad Reader: Issue 20

SensorSimulator. Sensor Simulator for simulating sensor data in real time.

nf. NF data type to statically enforce normal form

mutsleuth. Mutation detection in Python

ezbench. Fork of Carlini's yet-another-applied-llm-benchmark for me to accumulate some of my own real world eval cases

pytorch. Tensors and Dynamic neural networks in Python with strong GPU acceleration