lilyyy411 / rust-type-fuckeryLinks
experiments with the Rust type system, including a type-level brainfuck implementation
☆35Updated 10 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:
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- A highly experiment portable runtime☆20Updated last year
- Linux linker for x86 and x86-64☆32Updated 3 months ago
- Automatically declare a trait given an impl block.☆25Updated 4 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆129Updated last week
- An experimental programming language☆73Updated this week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 3 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆114Updated this week
- ☆58Updated 2 years ago
- A tool to help with minimization of Rust code☆59Updated 4 months ago
- Asynchronous Language Server Protocol framework☆130Updated last month
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆52Updated 2 months ago
- Resilient LL(1) parser generator for Rust☆171Updated this week
- ☆13Updated last year
- ☆17Updated last year
- Finally, a shell for all seasons!☆120Updated 8 months ago
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Idiomatic exceptions for Rust☆80Updated last month
- ⅋ — session types for Rust☆208Updated last month
- Strongly typed YAML library for Rust☆35Updated last month
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Ygen - Yet another code generation libary (abandoned)☆111Updated this week
- A simple programming language for researching different ways of program execution and compilation☆33Updated 11 months ago
- An experiment in an augmented error handling type for Rust☆40Updated last week
- Program analysis playground for a simple, imperative language☆37Updated 3 years ago
- RRust, a reversible Rust DSL☆42Updated 9 months ago
- Interaction net resources☆29Updated last month