lilyyy411 / rust-type-fuckeryLinks
experiments with the Rust type system, including a type-level brainfuck implementation
☆37Updated 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☆28Updated last year
- A highly experiment portable runtime☆21Updated last year
- A simple programming language for researching different ways of program execution and compilation☆34Updated last year
- Linux linker for x86 and x86-64☆31Updated 7 months ago
- A tool to help with minimization of Rust code☆64Updated 2 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆62Updated 6 months ago
- ☆66Updated 2 years ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆280Updated last week
- Driftsort a fast, generic robust stable sort. Designed to be the new Rust standard library `slice::sort`. Derived from glidesort.☆54Updated 4 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated this week
- ☆73Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Idiomatic exceptions for Rust☆92Updated 5 months ago
- Define compiler intermediate representation usable by external tools☆98Updated last month
- ☆13Updated 3 weeks ago
- Program analysis playground for a simple, imperative language☆38Updated 3 years ago
- Asynchronous Language Server Protocol framework☆140Updated last month
- ☆17Updated 2 months ago
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆143Updated 2 months ago
- Finally, a shell for all seasons!☆123Updated last year
- automatially find crashes in the rust compiler & tooling