Eliah-Lakhin / lady-deirdre
Compiler front-end foundation technology.
☆451Updated 2 months ago
Alternatives and similar repositories for lady-deirdre:
Users that are interested in lady-deirdre are comparing it to the libraries listed below
- Use Tree Sitter to parse your own languages in Rust☆646Updated this week
- Common Expression Language interpreter written in Rust☆418Updated this week
- Rust port of Spice, a low-overhead parallelization library☆635Updated last week
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆400Updated 10 months ago
- Refinement Types for Rust☆728Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆460Updated 3 weeks ago
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆472Updated last month
- A tiny, interpreted WebAssembly Runtime written in Rust☆507Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆901Updated this week
- 🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.☆502Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"☆849Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆698Updated last week
- A modern supercompiler for call-by-value functional languages☆409Updated 3 weeks ago
- Type safe query builder for rust☆349Updated last week
- Core POSIX command line utilities in safe Rust☆375Updated 3 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 6 months ago
- Logic programming in Rust☆465Updated this week
- Algebraic effects for Rust☆611Updated 10 months ago
- A C++/Rust interop tool☆285Updated this week
- Rust programs written entirely in Rust☆828Updated last week
- Making parsing a breeze☆726Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,256Updated this week
- Inject bugs and see if your tests catch them!☆909Updated 2 weeks ago
- Easy declarative web interfaces.☆396Updated 3 weeks ago
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆715Updated last month
- Unsafely fast hashing algorithm 📈☆899Updated 2 weeks ago
- A Lisp interpreter written fully in rust macros.☆278Updated 7 months ago
- Language development libraries for Rust☆948Updated 5 months ago
- ☆270Updated 2 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,177Updated 3 weeks ago