Kixiron / rust-langdevLinks
Language development libraries for Rust
☆984Updated last year
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,277Updated 3 months ago
- A fancy diagnostics & error reporting crate☆2,122Updated 2 weeks ago
- A list of programming languages implemented in Rust, for inspiration.☆1,009Updated 2 months ago
- Incremental garbage collection from safe Rust☆806Updated 2 months ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,824Updated this week
- Rust grammar tool libraries and binaries☆572Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆960Updated last week
- Defines the Rust borrow checker.☆1,578Updated 8 months ago
- A fast bump allocation arena for Rust☆2,087Updated 3 weeks ago
- ☆813Updated 6 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆726Updated 3 months ago
- An embeddable dynamic programming language for Rust.☆2,157Updated this week
- Create your own programming language with Rust☆832Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,981Updated 5 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,752Updated last week
- Refinement Types for Rust☆825Updated this week
- Cranelift based backend for rustc☆1,979Updated this week
- historical archive of rust pre-publication development☆706Updated last year
- Writing Interpreters in Rust: a Guide☆517Updated last year
- Creusot helps you prove your code is correct in an automated fashion.☆1,470Updated this week
- LLVM IR in natural Rust data structures☆672Updated 3 weeks ago
- Source code for the Mun language and runtime.☆2,108Updated 5 months ago
- Create ridiculously fast Lexers☆3,437Updated this week
- 🍄 an alleged 'operating system'☆734Updated last month
- Attribute macro to require that the compiler prove a function can't ever panic☆1,182Updated 3 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,731Updated last week
- Fancy extension for std::Error with pretty, detailed diagnostic printing.☆2,479Updated 4 months ago
- Runtime for executing procedural macros as WebAssembly☆1,469Updated 2 weeks ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆919Updated 2 weeks ago
- Use Tree Sitter to parse your own languages in Rust☆688Updated 7 months ago