- San Francisco
-
00:17
(UTC -07:00) - xiangyi.li
- @xdotli
- in/l1xiangyi
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- AppleScript
- Assembly
- Astro
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Cuda
- Dockerfile
- EJS
- Elixir
- Gherkin
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mojo
- OCaml
- Objective-C
- Odin
- OpenEdge ABL
- PDDL
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- Ruby
- Rust
- SCSS
- Scala
- ShaderLab
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- XSLT
- Zig
Starred repositories
Composite-Bench: deterministic, optimality-certified computer-use benchmark
Create, develop, and deploy Slack apps from the command-line ✨
The new Windows Terminal and the original Windows console host, all in the same place!
The lightweight framework for building agents
FrontierPhysics: Benchmark how AI agents do frontier physics research.
📡 Your own AI-powered news radar. Generates daily briefings in English & Chinese. | 用 AI 构建你专属的新闻雷达
GenesisBench: How language intelligence can be used to improve physical intelligence.
An awesome list of websites about minimal web design and copious swearing
agent multiplexer that lives in your terminal.
SWE-chat: Coding Agent Interactions From Real Users in the Wild
An environment for runtime hooking/code patching within Super Smash Bros Ultimate
A Claude skill for writing cold outreach that actually gets replies — on email, LinkedIn, or X DMs. Short, specific, human, easy to say yes to.
BenchPress: calibrated LLM benchmark score completion
Skills for Real Engineers. Straight from my .agents directory.
DeepSpec: a full-stack codebase for training and evaluating speculative decoding algorithms
Mooncake is the serving platform for Kimi, a leading LLM service provided by Moonshot AI.
Skills for AI Evals to compliment the course: AI Evals For Engineers & PMs
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
Replace port numbers with stable, named local URLs. For humans and agents.
Lean formalizations for the paper "On the paucity of lattice triangles"
A curated, non-BS library of the best resources for building and evaluating AI agents — papers, blogs, talks, tools, benchmarks. Maintained by BenchFlow.
Minimal coding agents, easy to play with (opencode TUI) and easy to benchmark (ACP on BenchFlow) — built around mini-swe-agent