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
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A string-based esoteric programming language.☆10Updated 3 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆11Updated 3 weeks ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- A two-dimensional programming language from 1994.☆12Updated 8 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 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 Scheme to Unlambda compiler☆18Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 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
- lang Thue + Regex☆14Updated 2 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- stck is a stack-based programming language☆25Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).☆11Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- A tiny CPU☆20Updated 15 years ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Updated 8 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆26Updated 9 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 5 years ago
- The Thue programming language: Programming with grammars☆31Updated 10 years ago
- 🤠 Just a programming language with a silly name☆15Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- Resources and links for the Forth programming language☆25Updated 3 years ago