Schwenger / RustTyC
An interface for writing a RustTypeChecker.
☆43Updated 2 years ago
Alternatives and similar repositories for RustTyC:
Users that are interested in RustTyC are comparing it to the libraries listed below
- Easy-to-use optional function arguments for Rust☆47Updated last year
- A memory efficient syntax tree for language developers☆57Updated 3 weeks ago
- hindley-milner algorithm☆58Updated last year
- A highly experiment portable runtime☆19Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆39Updated last week
- exhaustive testing library☆63Updated 8 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Stack safe and expressive recursion in Rust☆96Updated 3 months ago
- A fast, concurrent string interner☆149Updated 8 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Wadler-style pretty-printing combinators in Rust☆155Updated last month
- An IDE extension for debugging trait errors in Rust.☆109Updated last week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆155Updated 11 months ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- A garbage collection library for Rust with zero unsafe code☆111Updated 9 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 8 years ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- WLambda - Embeddable Scripting Language for Rust☆53Updated 2 months ago
- Compact sets in rust☆56Updated last month
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated last month
- Choose Rust types at compile-time via constants☆64Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 6 months ago
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆46Updated last year
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago