Popular repositories Loading

1. dau-tones dau-tones Public archive

   See your tones. Hear what you actually said.

   Python 10 2

2. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean 1

3. erdos erdos Public

   Exploring Erdős problems with AI agents, Lean-checked results, and reproducible computations. No solution or novelty is claimed.

   Lean 1

4. explainframe explainframe Public

   Make ideas clear with narrated, editable videos.

   JavaScript 1 2

5. boardspeak boardspeak Public archive

   A live WebMCP board game where White clicks and Black speaks. Play it by hand. Play it by voice.

   HTML

6. nandatown nandatown Public

   Forked from mitaistudio/nandatown

   Python