Python memory debugger and analyzer

SlopCodeBench: Measuring Code Erosion Under Iterative Specification Refinement

Our solution to Putnam 2025.

🐹 Deep clean and optimize your Mac.

Like etherscan but for cardano

LLMs as Copilots for Theorem Proving in Lean

Claude skills for Lean 4 theorem proving

Formal grammars in Lean 3

Deutsche Übersetzung (German Translation) von “Harry Potter and the Methods of Rationality” (HPMOR)

A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.

Multi-wallet $NIGHT miner (for Midnight Network scavenger hunt on Cardano)

A character-level language diffusion model trained on Tiny Shakespeare

A Benchmark for Chessboard Image Generation and Error Detection

Trace any Python program, anywhere!

Raise asynchronous exceptions in other thread, control the timeout of blocks or callables with a context manager or a decorator

Diffusion on syntax trees for program synthesis

Code for BLT research paper

Instant visual optimistic feedback for entity state changes with configurable debounce timing, supporting lights, switches, fans, covers, and more

Controlled text generation with programmable constraints

A collection of scripts to flash Tuya IoT devices to alternative firmwares

DiffuCoder: Understanding and Improving Masked Diffusion Models for Code Generation