GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version checking, and in-depth source code analysis. I offer accurate, context-aware insights for all your Rust programming questions.
☆19Mar 4, 2025Updated last year
Alternatives and similar repositories for rust-assistant
Users that are interested in rust-assistant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wraps cargo to move target directories to a central location [super experimental]☆30Aug 27, 2024Updated last year
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- A procedural macro jsx compiler☆12Oct 13, 2018Updated 7 years ago
- Treat application routes (URL path + query string) as strongly-typed Rust structs☆13Jun 16, 2019Updated 6 years ago
- A simple example for a Rust compiler plugin☆11Aug 8, 2016Updated 9 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.
- A transactional storage framework for building a transactional storage system☆15Mar 25, 2025Updated last year
- An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds☆158Sep 23, 2024Updated last year
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 8 months ago
- ☆12Jul 1, 2017Updated 8 years ago
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 3 years ago
- ☆48Jan 18, 2024Updated 2 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated 2 years ago
- A Rust macro implementing a Python-like generator expression☆19May 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 2 months ago
- ☆18Mar 14, 2026Updated 2 months ago
- Dependency injection library for Rust☆14Jun 13, 2024Updated 2 years ago
- Visualize/analyze a Rust crate's internal dependencies☆36Oct 5, 2025Updated 8 months ago
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schn…☆41Jun 6, 2026Updated last week
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 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.
- Image downsampler using a Lanczos filter implemented in ISPC☆15Mar 2, 2026Updated 3 months ago
- Refines, sorts and reformats -Zprint-type-sizes☆28Dec 26, 2025Updated 5 months ago
- Protocol for transparent collections of files.☆12May 17, 2026Updated 3 weeks ago
- A small, self-contained SHA512 and HMAC-SHA512 implementation.☆11Feb 13, 2026Updated 4 months ago
- Database migrations for savages.☆29Nov 3, 2025Updated 7 months ago
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- MML Rust serializer/deserializer☆15May 17, 2020Updated 6 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- auto-rust is an experimental project that automatically generate Rust code with LLM (Large Language Models) during compilation, utilizing…☆51Nov 12, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Automatic Python —> Rust FFI bindings☆19Nov 24, 2025Updated 6 months ago
- [DEPRECATED] Helper for https://github.com/taiki-e/cargo-llvm-cov/issues/123.☆11Jan 18, 2025Updated last year
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- General neural tactic for Lean 4☆29Updated this week
- Rust library for reading OpenSSH public keys and certificates☆17Mar 25, 2026Updated 2 months ago
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆49Jun 20, 2023Updated 2 years ago
- Falcon is a powerful, interpreted programming language.☆19Jan 22, 2023Updated 3 years ago