georgeguimaraes/arcana 341
forecastingresearch/forecastbench-datasets 42
ForecastBench Datasets: A Nightly Snapshot of AI Forecasting Questions
ridafkih/keeper.sh 1,415 +2 today
Keeper.sh tracks deletions with a mapping row that outlives the event
ebrasha/abdal-proxy-hub 50
Abdal Proxy Hub: A Plain-Text Proxy List That Refreshes Every 10 Minutes
abusaeeidx/CricHd-playlists-Auto-Update-permanent 53
CricHd Playlists Auto-Update: A Scraper That Turns a Streaming Site into an M3U Feed
databay-labs/free-proxy-list 39
Databay's Free Proxy List: Strict SSL Checks and a 5-Minute Refresh Cycle
mthcht/awesome-lists 1,951
mthcht/awesome-lists: A Curated Arsenal of Detection Lists for SOC and CTI Workflows
dunefalcon1qrj/Telegram-Bot 158
Telegram-Bot: A Single-Tap Polymarket Whale Trader With Custodial Keys
macos-powerpc/powerpc-ports 41
PowerPC Ports: Keeping Snow Leopard Relevant with a MacPorts Overlay
anycable/graphql-anycable 114
graphql-anycable: Moving GraphQL subscriptions off ActionCable without losing the API
NeverSight/learn-skills.dev 215
learn-skills.dev: A Crawler and Index for AI Agent Skills, Not Another Skills Marketplace
mingyang66/spring-parent 792
spring-parent: A Java 21 and Spring Boot 4 SDK Collection with a Wide but Uneven Surface
sema-lisp/sema 55
sema: a Lisp where an LLM call is just another form of evaluation
cameronfreer/lean4-skills 469
Lean 4 Skills: A Structured Proving Loop for AI Coding Agents
owlboy/greatpug-public 60
Great Pug public repo: the change log is the product documentation
dcouple/Pane 580 +5 today
Pane: A Terminal-First Manager for Running Many Coding Agents in Parallel
commontoolsinc/labs 55
Common Fabric: A runtime where data, not software, carries the trust policy
deepanshs/mrsimulator 48