mrLSD / semantic-analyzer-rs
Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
☆39Updated last month
Alternatives and similar repositories for semantic-analyzer-rs:
Users that are interested in semantic-analyzer-rs are comparing it to the libraries listed below
- Minimal Prolog implemented in Rust☆43Updated 6 months ago
- c'est le marché☆39Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆86Updated last year
- A Rust port of Jane Street's Incremental library.☆23Updated 2 months ago
- Datalog with equality for rust☆68Updated 5 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- ☆33Updated 2 months ago
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 7 months ago
- Propositional logic with types in Rust☆62Updated last year
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated 3 weeks ago
- An alternative `std`-like implementation built on origin☆28Updated 3 weeks ago
- LR-style Parser Generator☆18Updated 2 months ago
- ☆24Updated last year
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- Rush: Snabb written in Rust☆55Updated 3 years ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆15Updated 2 years ago
- A highly experiment portable runtime☆18Updated 11 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated 11 months ago
- Graph library for Rust☆26Updated 2 months ago
- exhaustive testing library☆63Updated 8 months ago
- Serde serializer for generating Starlark build targets☆66Updated 3 weeks ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- A different approach to an E-graph library☆25Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆120Updated last year
- ☆58Updated 6 months ago
- Library for building stateful property tests using the proptest crate☆23Updated this week
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- the WebAssembly partial evaluator☆52Updated 4 months ago