An open-source database of AI models.

Show usage stats for OpenAI Codex and Claude Code, without having to login.

Warp is an agentic development environment, born out of the terminal.

AI generates a real, editable PowerPoint from any document — native shapes & animations, speaker notes voiced as audio narration, and the option to follow your own .pptx template, not slide images …

Textream is a free macOS teleprompter app for streamers, interviewers, and presenters. It highlights your script in real-time as you speak, displayed in a beautiful Dynamic Island overlay. With ext…

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …

High-performance browser automation bridge and multi-instance orchestrator with advanced stealth injection and real-time dashboard.

Connect to remote ffmpeg servers

A Typst port of undergradmath (in Chinese)

An circledtext LaTeX package based on l3draw with expl3.

上海交通大学研究生阶段性报告 Typst 模板 (SJTU Graduate Milestones Typst Template)

📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程

Menu bar manager for macOS 26

A comprehensive book on neural networks and large language models in NLP

Custom UI for Deep Agents

CLI tool for easily downloading VODs and Clips from kick.com

WASM BusyTeX API for TexLive 2026 (01.03.26) supporting LuaTeX, PdfTeX, & XeTeX in the browser

Frontend of software mirrors

Infrastructure of SJTUG mirrors

[NeurIPS'25] Official Repository for the Paper "SQL-R1: Training Natural Language to SQL Reasoning Model By Reinforcement Learning"

The source code of CodeS (SIGMOD 2024).

[VLDB' 25] Synthesizing High-quality Text-to-SQL Data at Scale. SynSQL-2.5M is the first million-scale cross-domain text-to-SQL dataset.

⚡ Blazing-fast batch subtitle translation, .srt/.ass/.vtt/.lrc, 17+ LLM providers · 批量字幕翻译，支持 120+ 语言

Survey and paper list on efficiency-guided LLM agents (memory, tool learning, planning).

Streamlink is a CLI utility which pipes video streams from various services into a video player

Automatically upload Twitch.tv / Kick.com streams in realtime to Youtube or a Rclone supported provider

Multi-Agent Harness for Production AI

Secure, Fast, and Extensible Sandbox runtime for AI agents.