xy-kasumi / hs2bfView external linksLinks
Haskell to brainfuck compiler
β31May 11, 2014Updated 11 years ago
Alternatives and similar repositories for hs2bf
Users that are interested in hs2bf are comparing it to the libraries listed below
Sorting:
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).β12Aug 13, 2020Updated 5 years ago
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ15Apr 16, 2024Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"β16Sep 29, 2022Updated 3 years ago
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Dec 15, 2025Updated 2 months ago
- "operating system" based on the calculus of constructionsβ18Jun 22, 2022Updated 3 years ago
- Interpreter for functional pure type systems.β21Jun 30, 2017Updated 8 years ago
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 5 years ago
- A simple Ξ»Prolog interpreterβ20Nov 29, 2021Updated 4 years ago
- Stack-based esoteric programming languageβ18Jan 31, 2025Updated last year
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.β20Nov 12, 2020Updated 5 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structuresβ39Jun 13, 2024Updated last year
- GPU Accelerated, Distributed, Actor Model Language (WIP)β30Jun 21, 2023Updated 2 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCamlβ38Jan 18, 2020Updated 6 years ago
- Web based opetopic editorβ36Oct 21, 2024Updated last year
- π πΎ HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskellβ13Mar 4, 2025Updated 11 months ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraftβ12Sep 9, 2018Updated 7 years ago
- a steady descent into madnessβ17Jun 22, 2025Updated 7 months ago
- Unlambda interpreterβ11Jul 9, 2024Updated last year
- A string-based esoteric programming language.β10Jul 28, 2021Updated 4 years ago
- A Dependently Typed Esolangβ10Aug 4, 2017Updated 8 years ago
- Prove formulas of Presburger Arithmeticβ11Oct 5, 2024Updated last year
- Haskell -> Lazy K translator.β13Apr 5, 2014Updated 11 years ago
- C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.β37Apr 19, 2023Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Nov 27, 2021Updated 4 years ago
- A revival of the TREE-META compiler-compiler.β15May 15, 2018Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculusβ12Sep 13, 2020Updated 5 years ago
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- A [ functional stack ] based language.β30Oct 30, 2023Updated 2 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 6 years ago
- the Dependent Unboxed higher-oRder Intermediate Notationβ14Feb 8, 2022Updated 4 years ago
- Digital artβ10May 12, 2020Updated 5 years ago
- Interpreter/compiler for a 2D esoteric languageβ12Jul 26, 2015Updated 10 years ago
- An esoteric language based on overlapping tree-like structuresβ10Oct 16, 2021Updated 4 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuffβ12Jan 12, 2021Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systemsβ15Mar 2, 2020Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.β11Jul 13, 2017Updated 8 years ago
- alpha-grade whitespace toolchainβ11Aug 5, 2025Updated 6 months ago
- Reversible programming languageβ12Dec 7, 2019Updated 6 years ago