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 6 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
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 last month
- 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
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 4 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
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- an experiment in presenting code.β14Aug 11, 2020Updated 6 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
- alpha-grade whitespace toolchainβ11Aug 5, 2025Updated last year
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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.β31Oct 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