open links on macOS in whatever browser, app, or profile you need - whatever yo jam is

City of Cambridge GIS Data

A kind synthetic Euclidean Geometry proof assistant

A prompt engineering functional programming language

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