Write formally verified webapps in Lean for Node/serverless/edge
Auto Dismiss Mac OS "Allow <app> to find devices on local networks?"
Turns off ads, trending feeds, news recommendations and marketing pushes on Chinese Android systems via ADB. No root needed, reversible, and can be run by an AI agent.
For users of Chinese-brand Android phones
Source code to unlock tensor features on RTX 4090 GPUs, and experimentally on the RTX 4070 Ti SUPER. The firmware is generated locally.
For tinkerers of Nvidia 40-series GPUs
Illustrated PWA for learning 7,298 IELTS vocabulary words, with UK and US audio and FSRS review. The app is open source and the dataset is CC BY 4.0.
For IELTS test takers
