dexwritescode / rust-mcpView external linksLinks
An MCP server for Rust Language Server (rust-analyzer)
☆26Jul 13, 2025Updated 7 months ago
Alternatives and similar repositories for rust-mcp
Users that are interested in rust-mcp are comparing it to the libraries listed below
Sorting:
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- ZMK firmware config for ToucanKeyboard by beekeeb☆22Feb 7, 2026Updated last week
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- ☆20Jul 31, 2025Updated 6 months ago
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆22Jun 30, 2025Updated 7 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- A list of popular microcontrollers and a comparison☆19Dec 5, 2024Updated last year
- Fast lookup of the Unicode General Category property for `char` in Rust.☆20Sep 16, 2025Updated 4 months ago
- Boba Network Monorepo of the Optimism monorepo☆12Jan 28, 2026Updated 2 weeks ago
- A port of Spring Petclinic to Axum☆14Aug 12, 2022Updated 3 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- The repository contains both the dataset of rug pull events and the source code of CRPWarner.☆13Sep 22, 2024Updated last year
- ☆17Updated this week
- Generic async runtime functions using a pluggable dispatcher☆17May 31, 2024Updated last year
- ☆19Jan 31, 2023Updated 3 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- A collection of tools, tutorials, articles, blog posts, interviews, and videos related to Hyperlane☆17Feb 13, 2025Updated last year
- ☆16Nov 17, 2024Updated last year
- ☆17Jul 11, 2025Updated 7 months ago
- i use NixOS btw☆17Jan 27, 2026Updated 2 weeks ago
- Translate Python and JavaScript into MLIR☆17Aug 27, 2022Updated 3 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- 📦🚀 A crate that allows for easy and fast communication between processes, threads and systems.☆16Oct 10, 2024Updated last year
- ☆17Sep 23, 2024Updated last year
- An enrichment of Rust's core language to support more advanced features☆22May 25, 2017Updated 8 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated 9 months ago
- Convert low ghidra pcode to verifiable C☆22Sep 13, 2024Updated last year
- Lean for Scientists and Engineers, course taught in Summer 2024☆25Jan 6, 2025Updated last year
- Galois Format Analysis Workbench☆22Nov 30, 2023Updated 2 years ago
- ☆27Nov 30, 2024Updated last year
- ☆20Jan 31, 2022Updated 4 years ago
- Project for learning about llvm☆18Sep 13, 2022Updated 3 years ago
- ☆26Nov 5, 2025Updated 3 months ago
- ☆19Jun 25, 2025Updated 7 months ago