Controls Engineering in the FIRST Robotics Competition: Graduate-level control theory for high schoolers.

Official implementation of the "PixOOD: Pixel-Level Out-of-Distribution Detection"

Deep inspection of Python objects

An editing environment for LaTeX mathematical documents

Casual Calc - An opinionated Transient user interface for Emacs Calc.

View and edit guitar tablature.

Visualize the undo tree.

Persistent undo, available between sessions

Dense Optical Tracking: Connecting the Dots

Easy and elegant parser combinators for Python. With awesome docs.

MFT: Long-Term Tracking of Every Pixel -- code for the WACV 2024 paper

A not-so-small Forth for Cortex-M

Official code for PointOdyssey: A Large-Scale Synthetic Dataset for Long-Term Point Tracking (ICCV 2023)

CoTracker is a model for tracking any point (pixel) on a video.

Advanced Python Mastery (course by @dabeaz)

Stores your data in ICMP ping packets

Particle Video Revisited

A privacy-conscious Android keyboard made for your thumbs

Code for "PATS: Patch Area Transportation with Subdivision for Local Feature Matching", CVPR 2023

A Common Lisp specification, made from the original ANSI specification drafts

Tracking Any Point (TAP)

Weighted Optical Flow Tracker

Resolution Asymmetric Metric Learning

subed is a subtitle editor for Emacs

Jupyter notebook client in Emacs

NumPy arrays, ready for human consumption

Small program to amuse my toddler son

pix2tex: Using a ViT to convert images of equations into LaTeX code.