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 dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Propositional logic with types in Rust☆62Updated last year
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated last month
- Lift enum variants to the type-level.☆33Updated 4 years ago
- We have Crater At Home☆34Updated 7 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Macros have types!☆129Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆69Updated this week
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last week
- A highly experiment portable runtime☆19Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years 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
- dependent type theory experiment☆26Updated last year
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- An experimental project to create an interactive programming language.☆17Updated this week
- Why can't a tree be called Pluplusch?☆28Updated last month
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A golden file testing library for rust☆33Updated 2 weeks ago
- Type-level strings☆14Updated last year
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 4 years ago
- A functional scripting language.☆18Updated 4 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago