Cysharp/ProcessX 549
jscoq/jscoq 548
jsCoq: the Coq proof assistant running in a browser tab
gelatinescreams/The-One-File 548
The One File keeps your whole topology inside a single HTML document
hiroppy/tmux-agent-sidebar 549
tmux-agent-sidebar shows every coding agent pane in one place
earthians/marley 546
Marley Health: a hospital information system built as a Frappe app
nysenate/OpenLegislation 554 +1 today
OpenLegislation turns the New York Senate's bill feed into a JSON API
gitbutlerapp/grit 548
grit: a Git engine in Rust, split into a library and a deliberately smaller CLI
Der-Henning/tgtg 547
TGTG Scanner: a notification service for Too Good To Go Magic Bags
alchaincyf/elon-musk-skill 551
elon-musk-skill is a prompt file that distils a persona, and asks you to ship tomorrow
FrederoxDev/Amethyst 546
Amethyst: a native C++ modding layer for Minecraft Bedrock, now part closed
dobin/avred 549
avred: mapping exactly which bytes an antivirus flags
etiennestuder/gradle-jooq-plugin 548
gradle-jooq-plugin: jOOQ code generation inside a Gradle build
clarkduvall/jsterm 549
jsterm: a browser terminal whose filesystem is a JSON document
ByCh4n/BCHackTool 550
BCHackTool installs and launches pentesting and OSINT tools from one menu
drandyhaas/KiCadRoutingTools 557 +3 today
KiCadRoutingTools puts a Rust A* autorouter behind a KiCad plugin
orca-so/whirlpools 559