helvm / helmaLinks
π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
β15Updated 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β12Updated 5 years ago
- A Dependently Typed Esolangβ10Updated 8 years ago
- A simple and educational compiler for the SASL programming languageβ23Updated 7 years ago
- A 65C02 Assembly eDSL in Haskellβ17Updated 7 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"β16Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.β11Updated 8 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 11 years ago
- A revival of the TREE-META compiler-compiler.β15Updated 7 years ago
- Updated LazyK source distributionβ19Updated 2 months ago
- A SKI combinators interpreter written in assemblyβ20Updated 5 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β10Updated 4 years ago
- Prove formulas of Presburger Arithmeticβ11Updated last year
- A two-dimensional programming language from 1994.β12Updated 9 years ago
- a self-hosting lambda calculus compilerβ37Updated 10 months ago
- stack-based RPN functional programming languageβ55Updated 8 years ago
- A Scheme to Unlambda compilerβ18Updated 8 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær