An MCP server for Rust Language Server (rust-analyzer)
☆30Jul 13, 2025Updated 10 months ago
Alternatives and similar repositories for rust-mcp
Users that are interested in rust-mcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆20Apr 13, 2026Updated last month
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- ☆30Feb 19, 2026Updated 3 months ago
- Auto detection of apt proxies in the LAN, caching and checking status☆10Feb 13, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 6 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated 3 weeks ago
- Introduction to MLIR and xDSL training course☆20Oct 2, 2023Updated 2 years ago
- A zellij plugin that automatically switches between normal mode and locked mode☆13Dec 12, 2024Updated last year
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- ☆18Jan 31, 2023Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Your go-to resource for all things Smart Contract Security. Featuring guidelines, best practices, and in-depth articles. Sections include…☆23Oct 31, 2023Updated 2 years ago
- Boba Network Monorepo of the Optimism monorepo☆13May 18, 2026Updated last week
- Generic async runtime functions using a pluggable dispatcher☆18May 31, 2024Updated last year
- Convert low ghidra pcode to verifiable C☆24Sep 13, 2024Updated last year
- ☆18Feb 4, 2025Updated last year
- Metadata Enchanced Collection Orientated Music Player☆20May 9, 2026Updated 2 weeks ago
- A port of Spring Petclinic to Axum☆14Aug 12, 2022Updated 3 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26May 5, 2026Updated 3 weeks ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Translate Python and JavaScript into MLIR☆18Aug 27, 2022Updated 3 years ago
- Automates gift code redemption for multiple KingShot IDs. Reads player data from a file and submits the form on CenturyGame’s website.☆21May 1, 2025Updated last year
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- ☆19Jun 25, 2025Updated 11 months ago
- Rust-based PBX☆15Dec 17, 2022Updated 3 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 6 years ago
- MCP server for development in Rust☆30May 11, 2026Updated 2 weeks ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18May 7, 2026Updated 2 weeks ago
- USB man in the middle linux kernel driver☆21May 3, 2021Updated 5 years ago
- The repository contains both the dataset of rug pull events and the source code of CRPWarner.☆15Sep 22, 2024Updated last year
- 📦🚀 A crate that allows for easy and fast communication between processes, threads and systems.☆17Oct 10, 2024Updated last year
- Galois Format Analysis Workbench☆23Nov 30, 2023Updated 2 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated last year
- Cargo subcommand to install and update binary packages listed in configuration☆20May 13, 2026Updated last week