Schwenger / RustTyC
An interface for writing a RustTypeChecker.
☆42Updated 2 years ago
Alternatives and similar repositories for RustTyC:
Users that are interested in RustTyC are comparing it to the libraries listed below
- A highly experiment portable runtime☆19Updated 10 months ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- A memory efficient syntax tree for language developers☆54Updated last month
- exhaustive testing library☆63Updated 7 months ago
- hindley-milner algorithm☆54Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆51Updated 3 years ago
- Easy-to-use optional function arguments for Rust☆46Updated 10 months ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- Safe generators on stable Rust.☆40Updated last year
- A fast, concurrent string interner☆148Updated 6 months ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Stack safe and expressive recursion in Rust☆96Updated last month
- Lift enum variants to the type-level.☆32Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆33Updated 10 months ago
- An experiment in an augmented error handling type for Rust☆38Updated this week
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 8 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- An exploration of Storages☆36Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 4 months ago
- Proc macro derive to generate structs from enum variants.☆28Updated last year
- 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
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- in place binary patching for runtime rust hotreloading☆44Updated this week
- Const TypeId and non-'static TypeId☆60Updated last week
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated 11 months ago
- 🗃 UTF-8 string, byte string, and C string interner☆27Updated this week
- Interning of data in rust☆91Updated this week
- Macros have types!☆129Updated 2 years ago