A curated collection of LLM reasoning and planning resources, including key papers, limitations, benchmarks, and additional learning materials.

Must-read Papers on Large Language Model (LLM) Planning.

✨ A synthetic dataset generation framework that produces diverse coding questions and verifiable solutions - all in one framwork

Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)

Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.

A simple screen parsing tool towards pure vision based GUI agent

🙌 OpenHands: Code Less, Make More

An agent benchmark with tasks in a simulated software company.

Fully open reproduction of DeepSeek-R1

A shell script to build fancy DMGs

binary releases of VS Code without MS branding/telemetry/licensing

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

A tree-sitter based AST difftool to get meaningful semantic diffs

A high level diffing library for rust based on diffs

Ghidra is a software reverse engineering (SRE) framework

SeekStorm - sub-millisecond full-text search library & multi-tenancy server in Rust

Performant type-checking for python.

An actor-model multi-core scheduler for OCaml 5 🐫

Filesystem walk performed in parallel with streamed and sorted results

Beautifier for javascript

Make your Termux look better

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

A list of AI coding tools (assistants, completions, refactoring, etc.)

The open-source AI-native IDE

Model Context Protocol Servers

A post-modern modal text editor.

An idiomatic, lean, fast & safe pure Rust implementation of Git

Tools for concurrent programming in Rust