Kixiron / rust-langdevLinks
Language development libraries for Rust
☆968Updated 8 months ago
Alternatives and similar repositories for rust-langdev
Users that are interested in rust-langdev are comparing it to the libraries listed below
Sorting:
- Beautiful diagnostic reporting for text-based programming languages.☆1,219Updated last week
- A fancy diagnostics & error reporting crate☆2,017Updated 2 months ago
- A list of programming languages implemented in Rust, for inspiration.☆977Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆919Updated last month
- Refinement Types for Rust☆759Updated this week
- Defines the Rust borrow checker.☆1,486Updated 2 months ago
- Incremental garbage collection from safe Rust☆759Updated 3 weeks ago
- Rust grammar tool libraries and binaries☆551Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,510Updated this week
- Create your own programming language with Rust☆781Updated last year
- A fast bump allocation arena for Rust☆1,855Updated last month
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,661Updated last week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,953Updated 2 weeks ago
- JIT compiler and runtime for a toy language, using Cranelift☆699Updated 4 months ago
- Cranelift based backend for rustc☆1,851Updated last week
- ☆766Updated 3 weeks ago
- historical archive of rust pre-publication development☆691Updated 8 months ago
- An embeddable dynamic programming language for Rust.☆2,014Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,140Updated 5 months ago
- Create ridiculously fast Lexers☆3,242Updated last week
- Learn to make your own programming language with Rust☆262Updated 3 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,316Updated last week
- LLVM IR in natural Rust data structures☆628Updated 2 months ago
- Slotmap data structure for Rust☆1,222Updated last year
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆846Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,012Updated 8 months ago
- A crate for managing memory bit by bit☆1,319Updated last year
- Typed distributed plugin registration☆1,156Updated last week
- 🍄 an alleged 'operating system'☆656Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,666Updated last week