Haskell to brainfuck compiler
β31May 11, 2014Updated 12 years ago
Alternatives and similar repositories for hs2bf
Users that are interested in hs2bf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Updated this week
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).β11Aug 13, 2020Updated 5 years ago
- Informative error messages for common beginner misunderstandings with Haskellβ15Aug 29, 2019Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.β11Jul 13, 2017Updated 9 years ago
- Label dependent dependent session typesβ16May 2, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 5 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Jun 29, 2026Updated 3 weeks ago
- A Scheme to Unlambda compilerβ18Jun 18, 2017Updated 9 years ago
- π πΎ HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskellβ13Mar 4, 2025Updated last year
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.β29Nov 28, 2024Updated last year
- Interpreter for functional pure type systems.β21Jun 30, 2017Updated 9 years ago
- β12Feb 28, 2026Updated 5 months ago
- Haskell implementation of Glumpyβ12Jun 21, 2021Updated 5 years ago
- SIGPLAN websiteβ13Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Create pictures and animations with Box-drawing characters!β12Mar 10, 2021Updated 5 years ago
- A reversible languageβ22Sep 25, 2018Updated 7 years ago
- A simple Ξ»Prolog interpreterβ21Nov 29, 2021Updated 4 years ago
- Yoneda lemma in every known languageβ19Apr 2, 2026Updated 3 months ago
- Reversible programming languageβ12Dec 7, 2019Updated 6 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuffβ12Jan 12, 2021Updated 5 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the packβ¦β28Feb 28, 2019Updated 7 years ago
- Stack-based esoteric programming languageβ18Jan 31, 2025Updated last year
- A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.β16May 23, 2010Updated 16 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- an experiment in presenting code.β14Aug 11, 2020Updated 5 years ago
- β12Jun 13, 2019Updated 7 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structuresβ39Jun 13, 2024Updated 2 years ago
- "operating system" based on the calculus of constructionsβ18Jun 22, 2022Updated 4 years ago
- The Befunge-98 test suite.β31Oct 18, 2022Updated 3 years ago
- A string-based esoteric programming language.β10Jul 28, 2021Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)β30Jun 21, 2023Updated 3 years ago
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- alpha-grade whitespace toolchainβ11Aug 5, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A 2d "programming language" based around trianglesβ11Sep 23, 2023Updated 2 years ago
- ποΈ Isometric 3D Graphing / Rendering module for Haskellβ15Sep 2, 2017Updated 8 years ago
- A superset of brainfuck with dynamic memory management.β30Oct 2, 2020Updated 5 years ago
- An Agda library for programming with ternary relationsβ18Apr 9, 2025Updated last year
- C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.β37Apr 19, 2023Updated 3 years ago
- Experiments with higher-order abstract syntax in Agdaβ23Jul 14, 2022Updated 4 years ago
- Lisp implementation in Befungeβ27Feb 18, 2016Updated 10 years ago