helvm / helma
🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
☆14Updated 11 months ago
Alternatives and similar repositories for helma:
Users that are interested in helma are comparing it to the libraries listed below
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- ☆17Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A string-based esoteric programming language.☆10Updated 3 years ago
- lang Thue + Regex☆14Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- A micro compiler for the FORTH programming language☆12Updated 3 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆11Updated 3 weeks ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- A two-dimensional programming language from 1994.☆12Updated 8 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Haskell to brainfuck compiler☆29Updated 10 years ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- an experiment in presenting code.☆14Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated last year
- Forthscript programming language interpreter☆17Updated 2 years ago
- a Java VM implemented in Forth☆40Updated 12 years ago
- The Stroscot Programming Language☆13Updated last year
- Type systems written in 1ML☆9Updated 5 years ago