SeaOfNodes / Simple-RustLinks
☆30Updated 8 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☆106Updated last month
- Concrete Syntax Tree library☆108Updated 3 weeks ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 4 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- Wadler-style pretty-printing combinators in Rust☆169Updated 3 weeks ago
- hindley-milner algorithm☆62Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆60Updated 2 years ago
- world's worst interpreter☆62Updated 6 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- An experimental optimizing compiler for Bril☆78Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- ☆58Updated 3 months ago
- A draft proposal for spawning threads in WebAssembly☆73Updated this week
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- yk packages☆33Updated this week
- PEG parser generator for creating ASTs in Rust☆41Updated last year
- A WIP little dependently-typed systems language☆41Updated last year
- Macros have types!☆132Updated 2 years ago
- A Hindley-Milner polymorphic typing system☆59Updated last year
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 5 years ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆119Updated last week
- ☆174Updated last month
- Session Type EDSL for Rust☆103Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Wasm SpecTec specification tools☆75Updated last week
- A new register allocator☆239Updated last month
- Why can't a tree be called Pluplusch?☆28Updated 5 months ago