SeaOfNodes / Simple-RustLinks
☆31Updated 11 months ago
Alternatives and similar repositories for Simple-Rust
Users that are interested in Simple-Rust are comparing it to the libraries listed below
Sorting:
- the WebAssembly partial evaluator☆112Updated 5 months ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated last month
- Concrete Syntax Tree library☆115Updated 4 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Wadler-style pretty-printing combinators in Rust☆173Updated 4 months ago
- ☆67Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 7 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- world's worst interpreter☆67Updated 9 months ago
- A Hindley-Milner polymorphic typing system☆60Updated 2 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- A garbage collection library for Rust with zero unsafe code☆118Updated last year
- ☆58Updated 6 months ago
- Scope Graph Implementation in Rust☆28Updated last year
- yk packages☆39Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- Macros have types!☆134Updated 3 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- ☆23Updated 2 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆41Updated this week
- A WIP little dependently-typed systems language☆41Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆188Updated last year
- A language with dependent data and codata types☆125Updated last week
- Why can't a tree be called Pluplusch?☆28Updated 9 months ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Analyze Rust crates without touching compiler internals