Schwenger / RustTyC
An interface for writing a RustTypeChecker.
☆42Updated last year
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 9 months ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆38Updated this week
- exhaustive testing library☆63Updated 6 months ago
- Easy-to-use optional function arguments for Rust☆46Updated 9 months ago
- A memory efficient syntax tree for language developers☆52Updated last week
- hindley-milner algorithm☆54Updated last year
- Safe generators on stable Rust.☆40Updated last year
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- Choose Rust types at compile-time via constants☆63Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 3 months ago
- A simple, id-based arena☆117Updated last year
- Stack safe and expressive recursion in Rust☆96Updated 3 weeks ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated last week
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆50Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- An experimental reimplementation of rowan, focused on size efficiency☆24Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆32Updated 9 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆43Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆148Updated 8 months ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Macro assembler for Rust☆34Updated 10 months ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Token tree calling convention☆79Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- A fast, concurrent string interner☆148Updated 5 months ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆90Updated last month
- A generic, fixed-size, associative cache☆39Updated 2 months ago