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 SKI combinators interpreter written in assemblyβ20Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can failβ13Updated last year
- π πΎ HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskellβ12Updated 3 months ago
- β17Updated 2 years ago
- A Dependently Typed Esolangβ10Updated 7 years ago
- A 65C02 Assembly eDSL in Haskellβ16Updated 7 years ago
- A simple and educational compiler for the SASL programming languageβ23Updated 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
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.β11Updated 7 years ago
- A string-based esoteric programming language.β10Updated 3 years ago
- Stack-based esoteric programming languageβ18Updated 4 months ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Updated last year
- A Programming language of directories. Just for fun.β14Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"β16Updated 2 years ago
- An esoteric language based on overlapping tree-like structuresβ10Updated 3 years ago
- lang Thue + Regexβ14Updated 3 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 10 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.β16Updated 2 years ago
- A Self-Interpreter for F-omegaβ16Updated 9 years ago
- Manfred von Thun's Programming Language Joyβ16Updated 4 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.β11Updated last year
- a self-hosting lambda calculus compilerβ35Updated 2 months ago
- Updated LazyK source distributionβ18Updated 6 years ago
- Implementation of Martin-LΓΆf Type Theory in Haskellβ16Updated 9 years ago
- The Stroscot Programming Languageβ13Updated last year
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.β19Updated 11 years ago
- Haskell User's Gofer Systemβ25Updated 9 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"β8Updated 11 years ago