开源、免费、跨平台的 B 站视频下载工具,支持多线程加速、音视频分离、弹幕元数据获取、自定义命名与分类等功能。Open Source, Free, Cross-Platform Bilibili Video Downloader.
Perturb-and-continue causal tests of chain-of-thought: does the written reasoning actually constrain the answer? Code, data, and probes for "From Decorative to Load-Bearing: Task Difficulty Shapes the Causal Role of Chain-of-Thought" (TMLR 2026).
Claude Code and Codex CLI skills for legal scholarship: verified research memos, cite-checking, proofreading, Zotero library building, SCOTUS case prep
Build a talking mascot that turns any script into a lip-synced vertical video. Fork, add your mascot's art + a voice, post.
A low latency streaming STT / STT server to add a voice to your LLM. Also supports batch mode.
Claude Skills that encode chemical process and manufacturing engineering practice
Translate manga/image 一键翻译各类图片内文字 https://cotrans.touhou.ai/ (no longer working)
A mascot that watches the cursor and blinks when you poke it
cocotb: Python-based chip (RTL) verification
Diagnose RKN/TSPU internet blocks layer by layer (DNS, TCP, TLS, HTTP)
Create custom macOS and Windows mouse pointer themes from characters, mascots, or visual ideas.
NEXTOS UNIVERSAL PORTS — ports universais BYO-data para portáteis Linux AArch64 (NextOS, ArkOS/R36S, ROCKNIX, muOS, PortMaster). Uma pasta por jogo, pacotes nas Releases.
Mail hosting made simple
Scots Army Knife for electronics
Python AutoML for Trading Systems and Sports Betting
Enabling Modern UI Composition in Django
VocoType 是一款运行在本地端侧的隐私安全语音输入工具,通过快捷键即可将语音实时转换为文字并自动输入到当前应用。支持语音转文字MCP、AI 优化文本、自定义替换词典、录音视频转文字等功能,让语音输入更高效、更安全。
🐉 Loong: Synthesize Long CoTs at Scale through Verifiers.
Change SNES games with AI while you play them.
A model hybridization loader to combine different layers/blocks of the fl2va and ref2va models
新一代反制型蜜罐平台:通过反向代理在真实业务系统中无损植入蜜饵与虚拟路由,利用功能性伪装与反向提示词注入反控 AI 渗透 Agent,实现攻击捕获、画像溯源与上线反制。
Code-as-CoT for Physically-Consistent Video Generation via an Agentic Dual-Engine System
PicoTTY is a simple serial tty serial console or somewhat of a IP KVM cause my homelab was just proxmox so serial is all I need.
VLCoT research implementation: stage-verifiable latent reasoning, observation-based verification, and dependency-aware local repair.
—
Hyperliquid analytics right in your terminal. Track top traders by PnL, ROI, and account value, monitor ranking changes over time, and identify consistently profitable wallets while separating them from one-hit wonders. Powered by Hyperliquid’s public, read-only info API. Unofficial community project, not affiliated with Hyperliquid.
Portable Lean 4 autoformalization skills for Codex and Claude Code
DVLAA (Damn Vulnerable LLM and Agent Application) is a local LLM and Agent security range for OWASP LLM Top 10 and Agent security training.
Rename peer-reviewed PDF articles to a standard naming format [(Last name, year) Title]
codex6Astra全网最强破甲,逆向渗透无敌。电报✈️群https://t.me/gailai66
—
A procedural Three.js WebGPU recreation of Monica's apartment from Friends.
Graphical client for the Soulseek peer-to-peer network