cassowarii / alma
poetic concatenative programming language
☆10Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for alma
- Manfred von Thun's Programming Language Joy☆16Updated this week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- Experimental functional language☆18Updated 2 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Forth emulator, as a Racket #lang☆20Updated last year
- ☆18Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆14Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- ☆17Updated last week
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- A micro compiler for the FORTH programming language☆11Updated 3 years ago
- Practical type inference for arbitrary-rank types☆10Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- ☆18Updated 6 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago