lilyyy411 / rust-type-fuckeryLinks
experiments with the Rust type system, including a type-level brainfuck implementation
☆35Updated 9 months ago
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 last year
- A highly experiment portable runtime☆20Updated last year
- An IDE extension for debugging trait errors in Rust.☆186Updated 3 weeks ago
- Ygen - Yet another code generation libary (abandoned)☆111Updated last week
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆129Updated last month
- An experimental programming language☆71Updated 2 weeks ago
- Linux linker for x86 and x86-64☆32Updated 2 months ago
- hindley-milner algorithm☆62Updated 2 years ago
- Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.☆82Updated last week
- Rust programming language bot for Discord☆46Updated 2 weeks ago
- ☆13Updated 11 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- A tool to help with minimization of Rust code☆59Updated 3 months ago
- A simple programming language for researching different ways of program execution and compilation☆33Updated 10 months ago
- Automatically declare a trait given an impl block.☆25Updated 3 months ago
- RRust, a reversible Rust DSL☆42Updated 8 months ago
- Macro assembler for Rust☆36Updated last year
- A Rust crate that uses macro hackery to enable const fn trait items and default associated types on traits in stable Rust.☆29Updated 5 months ago
- Asynchronous Language Server Protocol framework☆127Updated 3 weeks ago
- Idiomatic exceptions for Rust☆80Updated last month
- ⅋ — session types for Rust☆203Updated last month
- stuffing things into pointers in a strict provenance friendly way☆12Updated 2 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- ☆12Updated last year
- ☆17Updated last year
- A memory efficient syntax tree for language developers☆62Updated 2 weeks ago
- QBE IR in natural Rust data structures☆115Updated last week
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- The Simplest Parser Library (that works) in Rust☆44Updated last year