AlexBuz / rust_to_bf
A compiler from a subset of Rust to Brainfuck
☆13Updated last month
Related projects ⓘ
Alternatives and complementary repositories for rust_to_bf
- Propositional logic with types in Rust☆60Updated last year
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- ☆32Updated 2 years ago
- 👀 Multi-peek iterator (no-std)☆26Updated last year
- Session types for asynchronous communication between multiple parties.☆40Updated 4 months ago
- A functional scripting language.☆17Updated last month
- A toy incremental computation framework☆15Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 4 months ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- yk packages☆32Updated this week
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- Liquid Types implementation for Rust☆26Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 7 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- A fully-featured lexer generator, implemented as a proc macro☆65Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- A golden file testing library for rust☆32Updated 2 weeks ago
- An experimental project to create an interactive programming language.☆16Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 7 months ago
- An experiment in an augmented error handling type for Rust☆36Updated this week
- A highly experiment portable runtime☆19Updated 7 months ago
- BrainFuck just-in-time compiler☆24Updated last year
- Why can't a tree be called Pluplusch?☆25Updated 5 months ago
- Historic Rust code browsing☆24Updated 3 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Scope Graph Implementation in Rust☆21Updated this week
- Provides a Refl encoding in Rust☆68Updated last year
- an interactive programming language☆33Updated this week
- Program analysis playground for a simple, imperative language☆35Updated 2 years ago