Schwenger / RustTyCLinks
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
Sorting:
- Easy-to-use optional function arguments for Rust☆47Updated last year
- A memory efficient syntax tree for language developers☆62Updated last month
- A simple, id-based arena☆120Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- A fast, concurrent string interner☆150Updated 10 months ago
- exhaustive testing library☆64Updated 11 months ago
- Resilient LL(1) parser generator for Rust☆163Updated this week
- Choose Rust types at compile-time via constants☆68Updated last year
- 🎶 Choreographic programming in Rust 🎶☆59Updated 4 months ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Stack safe and expressive recursion in Rust☆97Updated last month
- A garbage collection library for Rust with zero unsafe code☆114Updated last year
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- Safe generators on stable Rust.☆40Updated 2 years ago
- A highly experiment portable runtime☆20Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Seamless Higher-Kinded Types in Rust☆84Updated 2 years ago
- Zig comptime using Rust proc macros☆50Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Const equivalents of std functions, compile-time comparison, and parsing.☆99Updated 6 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 4 months ago
- Inline procedural macros for Rust☆57Updated 2 years ago
- A data structure to efficiently intern, cache and restore strings.☆200Updated 3 weeks ago
- Concrete Syntax Tree library☆97Updated this week
- 🌵 Cycle-Aware Reference Counting in Rust☆150Updated this week
- PEG trace visualizer☆87Updated 5 months ago
- Anonymous struct and named arguments in Rust.☆75Updated last year
- Interning of data in rust☆104Updated 3 weeks ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆49Updated last year