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:
- A memory efficient syntax tree for language developers☆62Updated last month
- hindley-milner algorithm☆62Updated 2 years ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- A highly experiment portable runtime☆20Updated last year
- exhaustive testing library☆65Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A simple, id-based arena☆120Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- A fast, concurrent string interner☆153Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- PEG trace visualizer☆89Updated 8 months ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Inline procedural macros for Rust☆56Updated 3 years ago
- Experimental type level programming in Rust☆39Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- Resilient LL(1) parser generator for Rust☆172Updated 2 weeks ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆33Updated 11 months ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆53Updated 4 years ago
- Declarative parsing for Rust, using a custom derive and nom☆68Updated 2 months ago
- Interning of data in rust☆106Updated 3 months ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆105Updated 3 weeks ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Anonymous struct and named arguments in Rust.☆78Updated last year
- Compile-time checks that an enum or match is written in sorted order☆119Updated last week