xanxys / hs2bf
Haskell to brainfuck compiler
☆29Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for hs2bf
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Like APL, but with emojis☆15Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 9 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- lang Thue + Regex☆13Updated 2 years ago
- Prolog + SMT☆7Updated 4 years ago
- WIP stack language that uses regex for control flow☆40Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆72Updated 4 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆33Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- Components of programming languages, all implemented in self-contained files☆9Updated 8 months ago
- A functional scripting language.☆17Updated last month
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated 10 months ago
- A [ functional stack ] based language.☆28Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Ikko language☆26Updated 4 years ago
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Haskell port of the Nanopass Compiler Framework☆10Updated 10 months ago
- A minimal esolang based on lambda calculus☆15Updated 3 years ago
- A featureful sound change applier for language construction☆28Updated last month
- A superset of brainfuck with dynamic memory management.☆26Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- Journey to the Center of the Lambda Calculus☆12Updated last year