denosaurs/deno_python 758
hwayne/lets-prove-leftpad 757
lets-prove-leftpad: the same padding function proved in two dozen proof systems
padok-team/burrito 762 +1 today
Burrito, a Kubernetes operator that keeps Terraform plans running
simchowitzlabpublic/nano-world-model 766
nano-world-model trains a diffusion world model you can read end to end
sindresorhus/camelcase-keys 758
camelcase-keys: rewriting object keys to camel case, deeply if you ask
terryyin/translate-python 759
translate-python and its five translation providers
stamparm/identYwaf 758
identYwaf fingerprints web application firewalls from the outside
Sinytra/Connector 758
Sinytra Connector: running Fabric mods on a NeoForge server
opencats/OpenCATS 767 +1 today
OpenCATS: an open source applicant tracking system in PHP
pixpark/picprose 759
PicProse: a browser based cover image generator
DAVIAN-Robotics/EgoX 762
EgoX: generating a first-person video from a single third-person one
nanomsg/mangos 761
mangos, the SP messaging protocols in pure Go
graphicore/librebarcode 760
Libre Barcode and the case for printing barcodes as fonts
keli-wen/agy-staff 788 +12 today
agy-staff: delegating work from Claude Code and Codex to a fast Gemini CLI
microsoft/TypeScript-wiki 760
TypeScript-wiki: the git mirror behind the TypeScript wiki
cybergalactic/MSS 759