Local-first code intelligence graph for MCP and CLI
Tree-sitter bindings for Emacs Lisp
Kotlin Symbol Processing API
Emacs incremental completion and selection narrowing framework
Optional static typing for Python
A post-modern modal text editor
A post-modern modal text editor
Tundra is a code build system that tries to be accurate and fast
An extremely fast Python type checker and language server
Desktop app to manage markdown knowledge bases
sbt, the interactive build tool
Tutorial and sample-code repository
Static type checker for Python
A text editor in less than 1000 LOC with syntax highlight and search
A Vue 3 renderer specifically built for AI-powered streaming Markdown
A Protocol for Agent-Driven Interfaces
Blade is a powerful build system from Tencent
LLM101n: Let's build a Storyteller
Generate Swift client and server code from an OpenAPI document
Gradle plugin that integrates jOOQ
Beef Programming Language
Scala.js, the Scala to JavaScript compiler
The fastest way to build data pipelines
Performant type-checking for python
Code, exercises, answers, and hints to go along with the book