openai/math
Language: Lean
Stars: 5013 Issues: 0 Forks: 456
https://github.com/openai/math
Post #13870
274
- Oct 7, 2026https://github.com/ftp27/resident-evil-mac-decomp
- Oct 7, 2026storytold/filmcraft An open-source, clean-room reimplementation of Adobe Premiere Pro buil…
- Oct 6, 2026StayLameBro/backburner Your iPhone helps your Mac run a 27B model: faster prompt reading a…
- Oct 6, 2026deadinside28/bloodborne_pc Language: C++ Stars: 812 Issues: 24 Forks: 73 https://github.co…
- Oct 6, 2026BlueHeisenberg/SCSKiller Kill shader compilation stutter before you play. Compiles your ga…
- Oct 6, 2026ESPARGOS/esp-sdr ESP-SDR uses the undocumented raw I/Q capture functionality of ESP32 fami…