Eliah-Lakhin / lady-deirdreLinks
Compiler front-end foundation technology.
☆468Updated 2 weeks ago
Alternatives and similar repositories for lady-deirdre
Users that are interested in lady-deirdre are comparing it to the libraries listed below
Sorting:
- A tiny, interpreted WebAssembly Runtime written in Rust☆540Updated 3 weeks ago
- Common Expression Language interpreter written in Rust☆467Updated last week
- Use Tree Sitter to parse your own languages in Rust☆663Updated 2 months ago
- Rust port of Spice, a low-overhead parallelization library☆664Updated 3 months ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆415Updated last year
- Incremental garbage collection from safe Rust☆759Updated 2 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆505Updated 2 months 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…☆485Updated 2 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 9 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆331Updated last week
- Cycle-tracking garbage collector library for Rust☆193Updated 2 months ago
- ⅋ — session types for Rust☆203Updated 3 weeks ago
- Resilient LL(1) parser generator for Rust☆165Updated this week
- A simple, expressive, embeddable programming language☆805Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆919Updated last month
- ☆270Updated this week
- Rusty API for SQLite☆357Updated last week
- 🌀 Async-first sharded hashmap for Rust.☆526Updated 7 months ago
- A Lisp interpreter written fully in rust macros.☆279Updated 11 months ago
- Logic programming in Rust☆479Updated 3 months ago
- Refinement Types for Rust☆759Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆964Updated last week
- A C++/Rust interop tool☆332Updated 2 weeks ago
- An IDE extension for debugging trait errors in Rust.☆186Updated 3 weeks ago
- Algebraic effects for Rust☆633Updated last year
- Context-Generic Programming: modular programming paradigm for Rust☆157Updated this week
- an experimental new programming language based on interaction nets☆295Updated last week
- Rust programs written entirely in Rust☆850Updated 3 months ago
- Rust grammar tool libraries and binaries☆551Updated 2 months ago