Eliah-Lakhin / lady-deirdreLinks
Compiler front-end foundation technology.
☆476Updated last week
Alternatives and similar repositories for lady-deirdre
Users that are interested in lady-deirdre are comparing it to the libraries listed below
Sorting:
- Common Expression Language interpreter written in Rust☆531Updated this week
- Use Tree Sitter to parse your own languages in Rust☆684Updated 5 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆542Updated last month
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆422Updated last year
- Rust port of Spice, a low-overhead parallelization library☆685Updated 6 months ago
- Incremental garbage collection from safe Rust☆781Updated 3 months ago
- A fast and flexible allocator for no_std and WebAssembly☆518Updated 5 months ago
- Resilient LL(1) parser generator for Rust☆181Updated last week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- Cycle-tracking garbage collector library for Rust☆203Updated 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…☆484Updated 6 months ago
- Refinement Types for Rust☆798Updated this week
- ⅋ — session types for Rust☆213Updated 4 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆1,007Updated this week
- Logic programming in Rust☆521Updated last month
- Rusty API for SQLite☆361Updated last week
- A precise specification for "Rust lite / MIR plus"☆945Updated this week
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆417Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆229Updated last year
- A programming language that is a minimal subset of Rust☆283Updated 3 weeks ago
- Rust programs written entirely in Rust☆857Updated 7 months ago
- ☆272Updated 3 months ago
- An IDE extension for debugging trait errors in Rust.☆300Updated 2 months ago
- Algebraic effects for Rust☆645Updated last year
- Functional language with a powerful type system.☆172Updated last year
- an experimental new programming language based on interaction nets☆328Updated this week
- Context-Generic Programming: modular programming paradigm for Rust☆197Updated last month
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Core POSIX command line utilities in safe Rust☆397Updated this week
- 🌀 Async-first sharded hashmap for Rust.☆540Updated 10 months ago