cassowarii / alma
poetic concatenative programming language
☆10Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for alma
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 weeks ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Forth emulator, as a Racket #lang☆20Updated last year
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆69Updated 13 years ago
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Experimental functional language☆18Updated 2 years ago
- A micro compiler for the FORTH programming language☆11Updated 3 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- My Own Linear Lisp☆37Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 2 years ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- ☆18Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago