helvm / helma
🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
☆14Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for helma
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆9Updated 3 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- A string-based esoteric programming language.☆10Updated 3 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- A Scheme to Unlambda compiler☆17Updated 7 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A prolog interpreter written in Haskell.☆8Updated 4 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 10 months ago
- lang Thue + Regex☆13Updated 2 years ago
- an experiment in presenting code.☆14Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- lang befunge 93 fast☆19Updated last year
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Haskell [re]implementation of Hap, a simple event-based programming language.☆12Updated 4 years ago
- an encoding of affine effect handlers using pthreads☆12Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Haskell User's Gofer System☆22Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 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 Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Updated 8 months ago
- A [ functional stack ] based language.☆28Updated last year