AlexBuz / rust_to_bfLinks
A compiler from a subset of Rust to Brainfuck
☆13Updated 8 months ago
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 prolog implementation in Rust☆26Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- Propositional logic with types in Rust☆62Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆69Updated this week
- An experimental project to create an interactive programming language.☆17Updated this week
- Why can't a tree be called Pluplusch?☆28Updated last month
- A functional scripting language.☆18Updated 4 months ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- A macro for defining type operators in Rust.☆64Updated 8 years ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Typed λ-calculus in Rust☆29Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆34Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- yk packages☆32Updated this week
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Updated 4 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Updated 3 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago