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 Dependently Typed Esolangβ10Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.β11Updated 7 years ago
- β17Updated 2 years ago
- A SKI combinators interpreter written in assemblyβ20Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"β16Updated 2 years ago
- A 65C02 Assembly eDSL in Haskellβ16Updated 7 years ago
- π πΎ HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskellβ12Updated 3 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 10 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish listerβ16Updated last year
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can failβ13Updated last year
- A simple and educational compiler for the SASL programming languageβ23Updated 7 years ago
- A simple Ξ»Prolog interpreterβ20Updated 3 years ago
- A Self-Interpreter for F-omegaβ16Updated 9 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline MalmkjΓ¦rβ16Updated last month
- A string-based esoteric programming language.β10Updated 3 years ago
- An esoteric language based on overlapping tree-like structuresβ10Updated 3 years ago
- an experiment in presenting code.β14Updated 4 years ago
- [wip] Proof format and checker for first-order and higher-order theorem proversβ12Updated 2 years ago
- an encoding of affine effect handlers using pthreadsβ14Updated 2 years ago
- A Scheme to Unlambda compilerβ18Updated 8 years ago
- Like the Programming Languages Zoo but with esoteric languages.β25Updated 5 years ago
- a self-hosting lambda calculus compilerβ35Updated 2 months ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.β19Updated 11 years ago
- Relational interpreter for miniKanren, in miniKanren.β14Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Updated 3 years ago
- "operating system" based on the calculus of constructionsβ18Updated 3 years ago
- A revival of the TREE-META compiler-compiler.β15Updated 7 years ago
- Updated LazyK source distributionβ18Updated 6 years ago