helvm / helmaLinks
π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
β14Updated last year
Alternatives and similar repositories for helma
Users that are interested in helma are comparing it to the libraries listed below
Sorting:
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuffβ11Updated 4 years ago
- A simple and educational compiler for the SASL programming languageβ23Updated 7 years ago
- An esoteric language based on overlapping tree-like structuresβ10Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.β11Updated 8 years ago
- A Dependently Typed Esolangβ10Updated 7 years ago
- A SKI combinators interpreter written in assemblyβ20Updated 5 years ago
- A 65C02 Assembly eDSL in Haskellβ16Updated 7 years ago
- A two-dimensional programming language from 1994.β12Updated 8 years ago
- a self-hosting lambda calculus compilerβ36Updated 3 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 10 years ago
- A revival of the TREE-META compiler-compiler.β15Updated 7 years ago
- Updated LazyK source distributionβ18Updated 6 years ago
- π πΎ HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskellβ12Updated 4 months ago
- lang Thue + Regexβ14Updated 3 years ago
- Lambda calculus parser in Haskellβ14Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish listerβ16Updated last year
- My own esolangβ8Updated 4 years ago
- Hope programming language interpreterβ41Updated last month
- A Self-Interpreter for F-omegaβ16Updated 9 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"β16Updated 2 years ago
- an experiment in presenting code.β14Updated 4 years ago
- x86-64 assembly as a Haskell EDSLβ36Updated 14 years ago
- Stack-based esoteric programming languageβ18Updated 5 months ago
- stack-based RPN functional programming languageβ53Updated 7 years ago
- A [ functional stack ] based language.β29Updated last year
- Implementation of Martin-LΓΆf Type Theory in Haskellβ16Updated 9 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Updated last year
- Javascript implementation of Fractranβ14Updated 7 years ago
- A 2d "programming language" based around trianglesβ11Updated last year
- Proof combinators used in Liquid Haskell for theorem provingβ12Updated 7 years ago