AlexBuz / rust_to_bf
A compiler from a subset of Rust to Brainfuck
☆12Updated last month
Related projects ⓘ
Alternatives and complementary repositories for rust_to_bf
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- Scope Graph Implementation in Rust☆21Updated 2 weeks ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Propositional logic with types in Rust☆60Updated last year
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆30Updated last year
- 👌 A smol functional language that targets other languages☆62Updated 9 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- ☆32Updated 2 years ago
- Liquid Types implementation for Rust☆26Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A functional scripting language.☆17Updated last month
- yk packages☆32Updated this week
- RRust, a reversible Rust DSL☆34Updated 6 months ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆33Updated this week
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 7 months ago
- dom-like layout for terminal applications☆12Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated last year
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 3 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆10Updated 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
- An async allocator with Fun™️ unsafe Rust☆18Updated last year
- ☆11Updated last week
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A toy incremental computation framework☆15Updated 3 years ago
- Case-preserving, ASCII case-insensitive `no_std` string types for Rust.☆12Updated 9 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Working prototype☆16Updated 2 years ago