SeaOfNodes / Simple-RustLinks
☆31Updated 10 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☆110Updated 4 months ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 6 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Concrete Syntax Tree library☆112Updated 3 months ago
- ☆58Updated 5 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- Wadler-style pretty-printing combinators in Rust☆173Updated 3 months ago
- world's worst interpreter☆66Updated 8 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- yk packages☆37Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- A Hindley-Milner polymorphic typing system☆60Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- ☆22Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆61Updated 6 months ago
- Pure functional programming with whole-program mutability inference☆79Updated last week
- Macros have types!☆134Updated 2 years ago
- Wasm SpecTec specification tools☆81Updated last week
- Rust testing framework for compilers and VMs☆51Updated 10 months ago
- The Pulse separation logic DSL for F*☆27Updated last week
- Debugging WebAssembly? Put some Whamm! on it.☆63Updated 2 weeks ago
- Why can't a tree be called Pluplusch?☆28Updated 8 months ago
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- A repository for the stack switching proposal.☆183Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 6 months ago
- Scope Graph Implementation in Rust☆28Updated last year
- An experimental programming language for ergonomic software verification☆16Updated last month
- ☆65Updated 2 years ago