A compiler from a subset of Rust to Brainfuck
☆14Oct 2, 2024Updated 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:
- Sobel edge detection in Rust.☆17Mar 16, 2019Updated 6 years ago
- 📺 The power of Haskell in your terminal!☆43Oct 26, 2025Updated 4 months ago
- Algorithm pseudocode typesetting library for Typst☆52Nov 23, 2025Updated 3 months ago
- A disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.☆11Aug 8, 2023Updated 2 years ago
- ☆10Jan 24, 2018Updated 8 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- WeLearn Browser Extension☆10Jun 23, 2022Updated 3 years ago
- ☆12Dec 16, 2024Updated last year
- A rust crate for interacting with gpt-3☆10Jun 26, 2022Updated 3 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Nov 16, 2022Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- Library for paths (URL, file path) interpolation and extracting params.☆10Oct 28, 2020Updated 5 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- A list where most values will be None (or default)☆10Jul 19, 2023Updated 2 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- A Brainfuck framework☆10Dec 1, 2023Updated 2 years ago
- Devops 🛠️ Github Action to help deploy previews of Pull Requests to Kubernetes☆14Sep 28, 2025Updated 5 months ago
- My customizations to go with oh-my-zsh☆10Sep 11, 2022Updated 3 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Self-hosted online writing platform comes as a single executable with feed reader, publishing and live collaboration.☆13Aug 28, 2023Updated 2 years ago
- CLI utility that scans phpDocumentor and makes suggestions on tests for your methods based on the parameter types☆83Mar 31, 2015Updated 10 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Wolfenstein 3D for SDL (Zipit Z2 Port)☆12Jan 19, 2019Updated 7 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- LiteX project for the ButterStick bootloader☆14Mar 13, 2023Updated 2 years ago
- Cost-estimation plugin for OctoPrint☆10Dec 14, 2019Updated 6 years ago
- An I2S Audio Hat for stereo sound from the odroid-go☆12Aug 21, 2018Updated 7 years ago
- Listeners to speed up PHPUnit tests☆12Jun 9, 2017Updated 8 years ago
- PeXPloit v1.0 Source Code Compiled Using VS 2012/2013☆11Jun 4, 2015Updated 10 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- 👁 Context menu chrome extension to show auto completed hidden passwords.☆13Feb 2, 2019Updated 7 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- A broken problem☆22Jan 17, 2026Updated last month
- Use Home assistant to get data from your Amtron Xtra / Premium☆14May 29, 2024Updated last year
- Dialouge template☆17Feb 4, 2025Updated last year