A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

Why are Finder and Terminal separate apps?

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

Scheduling infrastructure for absolutely everyone.

A list of AI agents and robots to block.

Python package to read and write sas, spss and stata files into/from pandas and polars data frames. It is a wrapper for the C library readstat.

🍦 Never use print() to debug again.

Fast computation of Krippendorff's alpha agreement measure in Python.

UCSD CSE 291

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

🍅 World's neatest Pomodoro timer for macOS menu bar

magma circuits

Exocompilation for productive programming of hardware accelerators

Efficiently inverting a probabilistic graphics program of face generation with an inference network. Includes computational models and neural and behavioral data analysis.

😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

Arduino PS2 Keyboard FULL keyboard protocol support and full keys to integer coding

All-in-one browser extension for Scratch.

time travel to a previous git commit

One hundred challenge problems for logical formalizations of commonsense psychology

Video datasets

⚡ A Fast, Extensible Progress Bar for Python and CLI

Digital Estate Planning: The Game

Supplementary materials for our SIGGRAPH 2022 paper

A simple forward proxy server for processing API calls to servers that don't send CORS headers or support HTTPS.

hand drawings of pineapples

Code for procedurally synthesizing PHASE animations

Planning, inverse planning, and inference in planning, using PDDL and Gen.

Building blocks for simple and advanced particle filtering in Gen.