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