Kixiron / rust-langdev
Language development libraries for Rust
☆920Updated last month
Alternatives and similar repositories for rust-langdev:
Users that are interested in rust-langdev are comparing it to the libraries listed below
- Beautiful diagnostic reporting for text-based programming languages.☆1,116Updated 6 months ago
- A fast bump allocation arena for Rust☆1,501Updated 4 months ago
- A fancy diagnostics & error reporting crate☆1,834Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,182Updated this week
- A list of programming languages implemented in Rust, for inspiration.☆893Updated 2 months ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,456Updated this week
- Defines the Rust borrow checker.☆1,379Updated 6 months ago
- Refinement Types for Rust☆676Updated this week
- A precise specification for "Rust lite / MIR plus"☆829Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,878Updated this week
- An embeddable dynamic programming language for Rust.☆1,821Updated this week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆749Updated this week
- Cranelift based backend for rustc☆1,668Updated this week
- Create your own programming language with Rust☆765Updated 5 months ago
- Writing Interpreters in Rust: a Guide☆497Updated 3 weeks ago
- ☆726Updated this week
- Slotmap data structure for Rust☆1,171Updated 10 months ago
- Rust grammar tool libraries and binaries☆524Updated 2 weeks ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,050Updated 3 weeks ago
- A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications☆1,471Updated 4 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆658Updated last year
- Some more derive(Trait) options☆1,790Updated this week
- A crate for managing memory bit by bit☆1,256Updated 5 months ago
- Hypothesis-like property testing for Rust☆1,775Updated this week
- Compile time static maps for Rust☆1,864Updated last week
- Typed distributed plugin registration☆1,040Updated last week
- Kani Rust Verifier☆2,331Updated this week
- Create ridiculously fast Lexers☆3,013Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆597Updated 3 weeks ago
- Making parsing a breeze☆645Updated this week