xy-kasumi / hs2bf
Haskell to brainfuck compiler
☆29Updated 10 years ago
Alternatives and similar repositories for hs2bf:
Users that are interested in hs2bf are comparing it to the libraries listed below
- Like APL, but with emojis☆15Updated 3 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- A [ functional stack ] based language.☆29Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A 2d "programming language" based around triangles☆10Updated last year
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- dependent type theory experiment☆25Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A functional scripting language.☆18Updated 2 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Compiler for the bJou programming language☆28Updated 4 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- A minimal esolang based on lambda calculus☆16Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated this week
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- Inline Haskell inside your Python code☆25Updated 4 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- A mini language for logic programming☆24Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- The Curly programming language (now in Rust!)☆29Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago