- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Crystal
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- GCC Machine Description
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- MoonBit
- Mustache
- Nim
- OCaml
- Objective-C
- PHP
- PowerShell
- Python
- Racket
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Solidity
- Standard ML
- Svelte
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
Starred repositories
TypeScript-first schema validation with static type inference
Meta-Framework of Spatiotemporal Composability
Towards a More Autonomous Agent System
Agent Skills that teach coding agents to write, review, and port idiomatic Rust, plus a tested clippy config. Works with Claude Code, Codex, Copilot, Cursor, and Gemini CLI.
DeepInfer: High-performance, large-scale inference framework for DeepSeek models
Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
LEAKED SYSTEM PROMPTS FOR CHATGPT, CLAUDE, GEMINI, GROK, PERPLEXITY, CURSOR, LOVABLE, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐
Xcode 27 system prompts and internal documentation
DeepSeek Harness: Everything is a Plugin.
Lightweight coding agent that runs in your terminal
Skills for Real Engineers. Straight from my .agents directory.
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
Full-stack open-source interactive long-horizon world model.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Taming Stable Diffusion for Lip Sync!
A new SOTA for RAG — an original retrieval architecture and an open-source knowledge base for humans and agents.
A straightforward method for training your LLM, from downloading data to generating text.
The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents
Local code intelligence for developers and AI agents. Connect code, docs and infrastructure in a persistent graph, with CBM Lens, MCP tools, agent integrations and change-aware test selection.
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
Open-source Python library for AI browser agents, plus Browser Use Cloud: stealth browsers and a hosted agent API.
Port of OpenAI's Whisper model in C/C++
Browser automation CLI for AI agents
Fast, accurate & comprehensive text measurement & layout