Eliah-Lakhin / lady-deirdreLinks
Compiler front-end foundation technology.
☆473Updated 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
Sorting:
- Common Expression Language interpreter written in Rust☆511Updated this week
- Rust port of Spice, a low-overhead parallelization library☆683Updated 5 months ago
- Use Tree Sitter to parse your own languages in Rust☆674Updated 4 months ago
- A tiny, interpreted WebAssembly Runtime written in Rust☆541Updated 2 weeks ago
- Incremental garbage collection from safe Rust☆769Updated 2 months ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆419Updated last year
- A fast and flexible allocator for no_std and WebAssembly☆512Updated 4 months ago
- Resilient LL(1) parser generator for Rust☆173Updated last month
- Cycle-tracking garbage collector library for Rust☆201Updated this week
- 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 4 months ago
- Logic programming in Rust☆509Updated 2 weeks ago
- Rusty API for SQLite☆359Updated 2 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆226Updated 11 months ago
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆380Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- A precise specification for "Rust lite / MIR plus"☆937Updated last month
- An IDE extension for debugging trait errors in Rust.☆277Updated last month
- Algebraic effects for Rust☆638Updated last year
- A programming language that is a minimal subset of Rust☆277Updated last week
- Refinement Types for Rust☆783Updated this week
- ⅋ — session types for Rust☆208Updated 2 months ago
- ☆272Updated 2 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆986Updated last month
- Functional language with a powerful type system.☆172Updated last year
- Rust programs written entirely in Rust☆856Updated 5 months ago
- an experimental new programming language based on interaction nets☆309Updated this week
- 🌀 Async-first sharded hashmap for Rust.☆534Updated 9 months ago
- A Lisp interpreter written fully in rust macros.☆281Updated last year
- Core POSIX command line utilities in safe Rust☆395Updated 3 months ago
- A simple, expressive, embeddable programming language☆824Updated this week