Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR. Learn more →
Top 3 Rust type-checker Projects
-
Project mention: So, you want to set up a Monaco editor with a language server | dev.to | 2024-10-19
Note on LSP servers Usually when using VSCode, you just select a language and install the corresponding language server extension from Marketplace, e.g. Pyright of Ruff for Python. Under the hood, most of these VSCode language server extensions utilize vscode-languageclient api. The API allows to launch LSP server in several ways, e.g. as a node module running in runtime provided by VSCode itself, or as a child process via runnable command. You can take a look at the Pylyzer Python LSP extension to see an example of usage of the API. Note that in order to use it, you need a runtime that has access to your files. There is a possibility to add VSCode server to your Monaco project and use it to launch language servers, however it adds additional complexity and dependency. In this guide I will avoid it. There are other ways to run Language Server, e.g. one can create a new language server or a wrapper for existing one with pygls, to run it as Python process providing websocket server. Here is a great guide with introduction to language servers and monaco language client. Other similar option but for Rust is tower-lsp.
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 (by yeslogic)
-
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Rust type-checker discussion
Rust type-checker related posts
-
Writing Python code like Typescript
-
Python development in a restricted environment
-
[Neovim] Pylyser python lsp
-
Astral: Next-gen Python tooling
-
Ask HN: Is there a Ruff for Python static type checking?
-
GitHub - mtshiba/pylyzer: A fast static code analyzer & language server for Python
-
A note from our sponsor - CodeRabbit
coderabbit.ai | 27 Apr 2025
Index
What are some of the best open-source type-checker projects in Rust? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | pylyzer | 2,810 |
| 2 | fathom | 260 |
| 3 | enderpy | 83 |
Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai