Repository Index

An extremely fast Python linter and code formatter, written in Rust.

• linter
• pep8
• python
• python3

Effortlessly compose, extend, and observe every service in real-time for the first time ever.

• agents
• ai
• api
• backend

Sampling profiler for Python programs

• profiler
• python
• performance-analysis
• profiling

A fast type checker and language server for Python

• code-quality
• ide
• language-server
• lsp

A fast, feature-rich static code analyzer & language server for Python

• language-server
• python
• static-analysis
• type-checker

Python Type Checker / Language Server

• autocompletion
• language-server-protocol
• mypy
• python

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

• embedded-optimization
• nonconvex
• model-predictive-control
• rust-library