helvm / helma
π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
β14Updated 5 months ago
Related projects: β
- Small and simple logic programming language inspired by Prolog.β14Updated 2 years ago
- A SKI combinators interpreter written in assemblyβ17Updated 4 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuffβ9Updated 3 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)β11Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"β16Updated last year
- Pure relational SKI combinator calculus interpreter.β10Updated 7 years ago
- An esoteric language based on overlapping tree-like structuresβ10Updated 2 years ago
- A 65C02 Assembly eDSL in Haskellβ16Updated 6 years ago
- Like the Programming Languages Zoo but with esoteric languages.β26Updated 4 years ago
- The Thue programming language: Programming with grammarsβ28Updated 10 years ago
- A Dependently Typed Esolangβ10Updated 7 years ago
- A simple and educational compiler for the SASL programming languageβ23Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish listerβ16Updated 10 months ago
- Manfred von Thun's Programming Language Joyβ15Updated 2 weeks ago
- lang Thue + Regexβ13Updated 2 years ago
- A string-based esoteric programming language.β10Updated 3 years ago
- This repository is supposed to hold a released version of Xanaduβ22Updated 3 years ago
- A Self-Interpreter for F-omegaβ16Updated 8 years ago
- A simple Ξ»Prolog interpreterβ19Updated 2 years ago
- stck is a stack-based programming languageβ25Updated last year
- a self-hosting lambda calculus compilerβ34Updated 3 years ago
- Forthscript programming language interpreterβ16Updated last year
- A 2d "programming language" based around trianglesβ10Updated 11 months ago
- an encoding of affine effect handlers using pthreadsβ13Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.β20Updated last year
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ15Updated 7 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.β18Updated 9 years ago
- Haskell [re]implementation of Hap, a simple event-based programming language.β12Updated 4 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codeβ¦β49Updated 4 months ago
- Ξ±Prologβ16Updated last year