A precise specification for "Rust lite / MIR plus"
☆1,012Jul 27, 2026Updated 2 months ago
Alternatives and similar repositories for minirust
Users that are interested in minirust 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 model of MIR and the Rust type/trait system☆367Updated this week
- Defines the Rust borrow checker.☆1,752Oct 2, 2026Updated last week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,018Feb 8, 2026Updated 8 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,651Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,990Updated this week
- 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.
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,817Updated this week
- A model checker for Rust programs.☆3,536Updated this week
- Forum for discussion about what unsafe code can and can't do☆752May 5, 2026Updated 5 months ago
- Creusot helps you prove your Rust code is correct.☆1,874Updated this week
- Refinement Types for Rust☆926Updated this week
- Execute Rust code carefully, with extra checking along the way☆502Oct 2, 2026Updated last week
- libgccjit AOT codegen for rustc☆1,177Updated this week
- The FLS☆497Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,530Jul 19, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A fast bump allocation arena for Rust☆2,349Sep 16, 2026Updated 3 weeks ago
- Cranelift based backend for rustc☆2,157Updated this week
- Rust programs written entirely in Rust☆914Apr 30, 2025Updated last year
- A minimal `syn` syntax tree pretty-printer☆774Jul 18, 2026Updated 2 months ago
- Define compiler intermediate representation usable by external tools☆128Aug 20, 2026Updated last month
- Rust Memory Safety & Undefined Behavior Detection☆1,367Apr 2, 2026Updated 6 months ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,155Mar 23, 2026Updated 6 months ago
- A very fast linker for Linux☆4,039Updated this week
- Safe Rust bindings to POSIX-ish APIs☆2,120Sep 16, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Analyze Rust crates without touching compiler internals☆433Updated this week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆3,029Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆3,074May 22, 2026Updated 4 months ago
- Rust programs written entirely in Rust☆884Apr 30, 2025Updated last year
- A next-generation test runner for Rust.☆3,339Updated this week
- Verified Rust for low-level systems code☆3,326Updated this week
- LLVM IR in natural Rust data structures☆704Jan 16, 2026Updated 8 months ago
- A Rust API search engine☆466Aug 5, 2024Updated 2 years ago
- Concurrency permutation testing tool for Rust.☆2,844Feb 20, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Analysis of various tricky Rust code☆2,046Jul 18, 2026Updated 2 months ago
- Count lines of LLVM IR per generic function☆528Aug 19, 2026Updated last month
- Manual segmented stacks for Rust☆360Aug 19, 2026Updated last month
- Conditional compilation using boolean expression syntax, rather than any(), all(), not()☆292Dec 18, 2022Updated 3 years ago
- Compile time numbers in Rust.☆589May 29, 2026Updated 4 months ago
- A wrapper around Rust futures that stores the future in space provided by the caller.☆314Aug 24, 2026Updated last month
- An implementation of libc written in Rust☆342Jun 15, 2026Updated 3 months ago