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☆60Updated last week
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- exhaustive testing library☆63Updated 10 months ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- A simple, id-based arena☆119Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Propositional logic with types in Rust☆62Updated last year
- A highly experiment portable runtime☆19Updated last year
- Macro assembler for Rust☆36Updated last year
- Stack safe and expressive recursion in Rust☆98Updated 5 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Resilient LL(1) parser generator for Rust☆158Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- A fast, concurrent string interner☆150Updated 9 months ago
- Interning of data in rust☆101Updated 3 months ago
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Mostly safe wrapper for alloca☆25Updated last year
- WLambda - Embeddable Scripting Language for Rust☆55Updated 2 weeks ago
- An experiment in an augmented error handling type for Rust☆39Updated 3 weeks ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Pratt parser written in Rust☆90Updated last year
- Wadler-style pretty-printing combinators in Rust☆158Updated 2 months ago
- Concrete Syntax Tree library☆95Updated 2 months ago
- A toy incremental computation framework☆15Updated 4 years ago