AlexBuz / rust_to_bfLinks
A compiler from a subset of Rust to Brainfuck
☆15Updated last year
Alternatives and similar repositories for rust_to_bf
Users that are interested in rust_to_bf are comparing it to the libraries listed below
Sorting:
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆133Updated 2 months ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- Macros have types!☆134Updated 2 years ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- 👌 A smol functional language that targets other languages☆65Updated last year
- Scope Graph Implementation in Rust☆27Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 2 weeks ago
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- Rust testing framework for compilers and VMs☆51Updated 8 months ago
- 💐 j is a subset of J, and an essay.☆51Updated 3 months ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 8 months ago
- Program analysis playground for a simple, imperative language☆38Updated 3 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A functional scripting language.☆17Updated 10 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆110Updated 3 months ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆101Updated 3 years ago
- The essence of Rust.☆128Updated 3 years ago
- Polymorphic guarded λ-calculus☆22Updated 4 months ago
- ☆39Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Logic programming, for Rust, from inside Rust.☆43Updated 5 years ago
- yk packages☆33Updated this week