Lean formalization of the optimality proof of the 11 square packing
Fight spam by generating and sending a fake "user unknown" bounce emails
—
MCP-сервер правил обмена 1С через агента: «Конвертация данных» 2 и 3 (EnterpriseData) — разбор, сопоставление, правка и проверка правил
嵌入 Codex/ChatGPT 桌面的本地工作站:四宫格对话、项目、任务、Skills 与资产
TVBox Web 跨平台双引擎影视聚合项目 (Windows 原生轻量后端 + Android APK 后端服务双形态)
macOS menu bar app that keeps your Mac awake, even with the lid closed
Luis Bizarro's opinions on creative development, packaged as agent skills.
Sid Meier's SimGolf (2002) in the browser via WebAssembly. Bring your own game files.
Infinite, 100% Free, Zero-latency Multi-provider AI Router for Claude Code CLI & Desktop with real-time SSE streaming, auto-failover across 51 providers, and Cyber HUD telemetry.
Matching decompilation of Colin McRae Rally 2.0 (PC, 2000), rebuilt with MSVC6 and verified byte-for-byte with reccmp. Playable; SDL3 port planned.
laminix makes programs on NixOS find their files faster, without recompiling them
An explainer exploring fast, type-safe, on-device ML decisions, classification, scoring, and ranking
AgentTouch: a small face on your desk for your AI coding agents (Waveshare ESP32-S3-Touch-AMOLED-2.16 + macOS host)
PyTorch implementation of paper "Response Length Perception and Sequence Scheduling: An LLM-Empowered LLM Inference Pipeline".
An AI-powered quiz generator for creating quizes from your notes and textbooks | Powered by Google Gemini
The Joint UK Land Environment Simulator
The GPU your VM believes in. A stock NVIDIA driver runs against fabricated hardware; real compute is forwarded to a host GPU. Rust.
—
以《逃离塔科夫》(Escape from Tarkov)主界面为灵感的 DeepSeek Harness(DSH)Web 界面主题插件:Beta 警告横幅、提示音、背景音乐。
The ABAP Processing Center - Implement processes with Monitoring, Error Handling, Notifications and Restart Capabilities
Cromford: the open-source software factory. Tickets in, reviewed, merged and production-checked changes out.
MCP server manager plugin for DeepSeek Harness: Settings → MCP page, OAuth (PKCE + dynamic client registration) or static-token auth, tools registered as mcp__<name>__*
自动化专业保研资料,对考研生应该也有帮助,对机器人工程、人工智能等相近专业理论上也有一定的适用性
Xenia Dashboard: a controller-first, Xbox 360-style dashboard that also configures the Xenia emulator (unofficial)
A free Power BI report with no custom visuals: Light and Dark mode, native SVG animations and photos that follow the data, all drawn by DAX. Full PBIP project (PBIR report, TMDL model) with its Parquet data. Built from image mockups by an AI agent.
Reviving T3L Android car head units with a lightweight, AI-built launcher and practical guides to setup, customization, and optimization.
Smoother bilibili web playback for Taiwan & Singapore. Reroutes videos to a faster CDN (300 nodes, best picks per country auto-selected by IP) and live streams to the best route. Built-in speed test, auto fallback, optional auto-switch to the fastest node. Chrome / Firefox / Edge / Safari.
High performance policy routed IPsec mesh SD-WAN
—
CSQTT OpenWrt
PHP2Shell (CVE-2026-109618 / CVE-2026-109619) Docker lab and PoC. Use-After-Free in PHP's session.upload_progress.
Voice input plugin for DeepSeek Harness (DSH) with text polishing. Supports local GPU Whisper and STT(ASR) API | 一款支持润色整理的 DeepSeek Harness 语音输入插件,为 DSH 提供语音输入能力,支持本地 GPU Whisper 和主流语音识别转写 API
A modern-day wrapper for the original arcade classic. Race your friends online or on your local network with up to 16 racers!
DSH SlideStudio — AI presentations for DeepSeek Harness: one-line brief → editable deck → editable PPTX
MapleStory 2 as an offline single-player game: launcher, local servers and client patch
—
让主对话一直跑:把 Claude Code 子 Agent 派到你自己的其他 Pro 账号上,按余量选号、撞限额自动换号续跑 | Dispatch Claude Code sub-agents across your own Pro/Max accounts
Next-gen live streaming server built on Media over QUIC (MoQ). From-scratch C implementation of QUIC/HTTP3/WebTransport — no third-party QUIC library. Browser publish & play via WebCodecs.
Custom firmware and a self-hosted voice server for the M5Stack StackChan (CoreS3 with two Feetech SCS0009 servos). It replaces the stock firmware.
Turn any URL into a lightweight native desktop app — single-file .exe on Windows, native .deb on Linux, using the OS built-in WebView with zero embedded browser engine.
无损改图 — 纯前端 AI 改图局部融合工具:上传原图 + AI 改后的图,自动对齐/校色/找出改动,只把改动那块换进来,其余像素与原图一致;图片不上传。CC BY-NC-SA 4.0
—
Скрипт быстрой установки web прокси telegram
—
—
🤖 Каталог ИИ-инструментов для разработчиков на русском (2026): AI-IDE, Cursor, Copilot, Claude Code, Codex, агенты, MCP, код-ревью, тесты, LLMOps, локальные LLM, российские сервисы
在 DeepSeek Harness(DSH)里用中文对话操作 WPS 表格 / 文字 / 演示:读写数据、排版、公式图表、批量转 PDF。自带 MCP server 与常驻 COM 宿主,免装加载项、免配环境变量。
基于OpenSteamTool的Steam解锁器。相比原版OST改进和增强了一些功能
DeepSeek Harness 默认 System Prompt 管理插件:在 Web GUI「设置」里浏览、检索并覆盖最终装配进每轮会话的系统提示词
Experimental NVIDIA VRSS2 tuner and gaze provider for VRChat; Pimax Dream Air verified
Toolgate is a simple python package to make sure u develop agents without any security issues and breaking any prod or legacy code present
Retrova — Recover files from unmountable drives, verify copies byte-for-byte, and reclaim disk space. Desktop app for macOS and Windows.
187 Kimi K3.1 creations and model comparisons from X, and growing: original videos, creator credits, and publicly shared prompts. New videos added as creators post them.
A domain search example built with Foldkit, with editable static HTML and hydration.
Batteries-included, model-agnostic coding agent with native performance and a small runtime footprint
—
GatherThread 共序:本地 AI 编程 Agent 多人联机协作、实时共享上下文。Self-hostable collaboration for local AI coding agents, Codex Desktop connector & DeepSeek Harness plugin.
Industrial telemetry monitor with sensor ingestion, alert rules and event history.
—