leanprover / con-ron
A rust port of con-leche
leanprover / con-ron
quincarter / marvel-champions-digital-game
A digital, fan made, rules-accurate implementation of Marvel Champions: The Card Game, driven by a deterministic rules engine.
RicterZ / AL1S-WMS
Household Warehouse Management System powered by Maid-AL1S
lukaske / jev-doom-agent
A browser-native Doom agent experiment with structured spatial state, composable AI controls, live decision telemetry, and a Chocolate Doom WebAssembly runtime.
jitOffice / jit-motion
把任意产品简介，一键生成单文件 HTML 宣传动画视频 —— 多场景 GSAP、四种画幅比例、零 emoji。适配 Claude Code / Codex / Cursor / Qoder 的 AI 技能
DGBooth / HyprKwin
Hyprland-style dwindle tiling for KDE Plasma 6, implemented as a KWin script.
vetusmagnus / rac3-uya-decomp
Ratchet & Clank 3: Up Your Arsenal PS2 C Source Code Decompilation Project
wojiushirencai / Astrolabe
—
llm-sys / flash-indexer
https://arxiv.org/abs/2610.13990
BelmanteGu / CelesteAndroid
Native Android port of Celeste (2018) running your own PC copy: .NET + FNA + SDL3, Vulkan, FMOD, launcher with game import.
Yifffan / dsh-plugin-whale-pet
Your little whale buddy for work, wins, and well-earned naps.
dyike / keel
agent friendly ui framework
apimartw7bq / kling-v3-api-gateway
AI API gateway / relay: 307 models behind one OpenAI-compatible key. image2.5 $0.0085/image, Seedance 2.0 Mini $0.01056/sec, LLM from $0.0228/M tokens. USD settlement, pay-as-you-go, $1 minimum top-up.
cth9191 / jev-compaction-plus
Claude Code compaction in ~0.5 s instead of ~35 s: Jev keeps what's still needed word for word and moves the rest to a drawer file. Fork of fast-jev-compaction.
FNWTalon / LIZARD
Optical file transfer suite with megabyte-scale throughput. Android recommended; browser decoder will not give full speed.
KoriIku / mama-skill
防止人类被AI灭绝的唯一方法，就是让AI当妈妈。 ——Geoffrey Hinton
sdcb / SimdGcdrNet
a pure C# implementation of GCDRNet (Appearance Enhancement for Camera-captured Document Images in the Wild, IEEE TAI 2023) — document-image shadow removal and appearance enhancement without onnxruntime or any other third-party inference engine. It ships its own compiled-model inference engine
OSVerify / OSVerify
One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).
kyutai-labs / reki
REKI: a 2.4B vision-language-action model pretrained on public data only, with a memory of its recent past at negligible cost.
blurtic2 / iidx-ps2-480p
Unofficial patches that make the PlayStation 2 releases of beatmania IIDX (9th style – 16 EMPRESS + PREMIUM BEST) output **native 480p in 24-bit color** on real hardware.
qnguyen3 / QUAN-Transcribe
Inference code for QUAN-Transcribe: fast Vietnamese speech recognition on EmbeddingGemma 2
Lobewarms / BLACKSOULS2_VR-release
—
Zhanli-Li / Data-World
Data World: Scaling Data Environments from Scratch
zw87652015 / CCCC
Notify when you ctrl+c
icex / ferestre
Run the Xbox GDK / Microsoft Store (MSIXVC) titles you own on Linux — patched Proton/Wine, a from-scratch GDK runtime, and a launcher. Ferestre is Romanian for windows.
Saikomantisu / omarchy-commandbar
Spotlight style command bar for Omarchy
systemfreund / sydrahynth
Linux plugin (VST3/LV2/standalone) that emulates the Hydrasynth Desktop by running its firmware
MINT-SJTU / Evo-World
—
DirectoryTree / Screenshot
Capture images and PDFs with PHP and Laravel
linchbeta / inkboard
自托管的 ESP32 墨水屏家庭看板：TypeScript 后端 + ESP32 固件（日历、天气、留言、课程表、外语单词……，离线月历）
ALMASONYH / OctopusEAX
Octopus Audio Effects Console
Jarson1408 / FastStrata
Run Qwen3.6-35B-A3B and Ornith 1.5, 35B MoE coding models, on a gaming PC with a 6 GB NVIDIA RTX card: 144K context, 49-72 tok/s on an RTX 3060 laptop. One installer sets up the model, a ready-made engine and its own gateway for OpenCode. Fork of PolyStrata.
iHaiDeeZ / SSBU
SSBU: Super Smash Bros. Ultimate recomp (WindowSmash) on jailbroken PS4 (GoldHEN): native AArch64-to-C recomp, Direct3D 11 through DXVK on RADV, FSR 1, L3+R3 menu, 4 players. Bring your own dump.
kingabzpro / BetterTradingAgents
A fast, real-time multi-agent stock research and paper-trading platform.
nikan48g / Bisnor
Open-source Android movie & series client with downloads, smart recommendations, Windows desktop and experimental Tizen TV support.
Long0823-1 / TCLTV-Bondriver
TCL G06向け2チューナーBonDriver・TV配信APK。XMLTV自動収集と視聴優先、M3U IPTV、Wi-Fi/有線の消灯時通信維持。対応機種限定の開発版。
Cerie-r / still-true
Living Context · 给长期记忆一层会过期的现在 · today_set × ctx_set
I-You-Dream / ssh-connection
这是SSH 连接配置skill——专门负责把你的本机(智能体)配成能免密登录远程服务器，配置完成后你就可以直接用标准 ssh / scp 命令操作服务器。
NQ-stats-MX / tbr-fib-extensions-stat-levels
Time based range indicator for mean reversion using statistical based levels and fib extensions.
Implict-ch / huawei-campus-skills
华为校招求职全流程助手(含答疑、模拟面试、400篇技术岗面经以及160道手撕真题)
StudentSuite / awesome-study-resources
A curated list of the best exam prep, subject study, and learning-tool resources for students. IB, IGCSE, GCSE, A-Level, AP, SAT, ACT: every entry tagged free, freemium, paid, or open source.
frank-underwood64 / whitelists_bypass
делюсь соображениями по обходу белых списков. новые методы обхода. cdn xhttp vless. без выбивания и покупки белых айпи. пошаговая инструкция. обход белых списков
zoompilot / zoompilot
open source driver assistance system for Mazda and other vehicles
wizier / airvault
Self-hosted backup server for iPhone
shaikhtaha258-maker / Maya-ai-1.2
—
hdeman3 / HDEG
面向日文音声的端到端字幕翻译工具：以官方台本为基准校正 ASR，自动转录、术语统一、多模型翻译，一键产出中文字幕。
artifactshare / artifactshare
Share AI-generated work with your team.
tianyi-zhang-02 / cooking-agi
Cooking AGI / AGI 大锅烩 · Bilingual (English / 中文) ML & LLM notes with worked examples, step-by-step figures and coding practice. Free to read.
nodummd / nodum
Open-source, web-based knowledge base — Obsidian-style linked markdown notes, backlinks and a GPU-rendered knowledge graph. FastAPI + Next.js, multi-tenant and self-hostable, with real-time collaboration, canvas, publishing and a Web Clipper.
Xavier-168 / data-scientist-community
Local-first macOS creator analytics for Douyin, Xiaohongshu, Bilibili and Kuaishou, with Excel export and optional Feishu sync.
Geramy / LSE
HRX, LOOM, Mac, and AMD running top speed kernels with a self optimizing engine.
AbuZar-Ansarii / PrivateAgent
An app that can completely control the any phone
nohzafk / omarchy-macbookpro-t1
Omarchy/Linux on a T1 MacBook Pro (2016-2017 Touch Bar): working Touch Bar, 5 GHz Wi-Fi with a 26 dB signal fix, and CS8409 audio. Includes two driver bug fixes and the ESP/T1 firmware rule that decides whether any of it is possible.
buildwbrendan / interactive-projection-mapping
—
baiwumm / better-admin
一套 Admin 系统 五种技术栈实现
LawrenceRiver / FigFox-Gen-skill
Scientific paper figure generation Skill for agents: web research-figure conventions, controlled colour, topology planning, and image generation. 科研论文图生成 Skill：联网参考、配色与拓扑规划。
FoloToy / folo-ai-passport-xiaozhi
—
Kweepa / OpenUnderground
—
alyshadotmd / visual-formats
Every visual format I use to make ads: real examples from my feed, plus the markdown files to classify and build each one.
yu-wenchao / dsh-free-models-hub
免费模型排行榜 · DeepSeek Harness 社区插件，在 DeepSeek Harness (DSH) Web UI 左侧边栏提供「免费模型榜」：分页浏览（每页 20 条、页码窗口、首页/末页）、 点击标题展开 API 调用地址 / 模型名称 / 【点击这里申请免费密钥key】按钮， 并支持一键配置到 设置 → 模型 → 自定义提供方 —— 用户只需自行粘贴免费 API Key