Stars
A Python language server exclusively for Jedi. If Jedi supports it well, this language server should too.
Fork of the python-language-server project, maintained by the Spyder IDE team and the community
python-lsp / pylsp-mypy
Forked from tomv564/pyls-mypyMypy plugin for the Python LSP Server.
Issue tracking for the Steam for Linux beta client
Python-based research interface for blackbox and hyperparameter optimization, based on the internal Google Vizier Service.
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
A fast, feature-rich static code analyzer & language server for Python
A cross-platform, OpenGL terminal emulator.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
A terminal workspace with batteries included
stb single-file public domain libraries for C/C++
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
The fundamental package for scientific computing with Python.
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
A Spotify player in the terminal with full feature parity
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
View a Git Graph of your repository in Visual Studio Code, and easily perform Git actions from the graph.
A simple telegram bot to track stock portfolio in Bovespa
A simpler and more direct Web UI alternative for Atlassian's Jira website