lilyyy411 / rust-type-fuckeryLinks
experiments with the Rust type system, including a type-level brainfuck implementation
☆36Updated last year
Alternatives and similar repositories for rust-type-fuckery
Users that are interested in rust-type-fuckery are comparing it to the libraries listed below
Sorting:
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 11 months ago
- An experimental programming language☆73Updated last month
- Linux linker for x86 and x86-64☆32Updated 5 months ago
- A highly experiment portable runtime☆20Updated last year
- Asynchronous Language Server Protocol framework☆138Updated last month
- Automatically declare a trait given an impl block.☆26Updated 6 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆60Updated 4 months ago
- A tool to help with minimization of Rust code☆61Updated last month
- UB-free and deterministic rustc fuzzer☆93Updated 4 months ago
- Idiomatic exceptions for Rust☆86Updated 3 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- ☆62Updated 2 years ago
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆138Updated last month
- ⅋ — session types for Rust☆210Updated 3 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆126Updated this week
- Resilient LL(1) parser generator for Rust☆177Updated 2 weeks ago
- ☆13Updated last month
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- Ygen - Yet another code generation libary (abandoned)☆111Updated last month
- Choose Rust types at compile-time via constants☆68Updated last year
- Define compiler intermediate representation usable by external tools