robertkleffner / wort
A core concatenative programming language with variables and first-rank polymorphic type inference
☆30Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for wort
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆69Updated 13 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Forth emulator, as a Racket #lang☆20Updated last year
- ☆21Updated 4 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- An esoteric RPN golfing language☆24Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Wasm tooling in Racket.☆40Updated last year
- A Racket refactoring engine☆58Updated this week
- A toy programming language.☆37Updated 10 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- poetic concatenative programming language☆10Updated 3 months ago
- Manfred von Thun's Programming Language Joy☆16Updated 2 weeks ago
- Stackless Joy☆22Updated 2 weeks ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- WIP stack language that uses regex for control flow☆40Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆29Updated 3 years ago
- ☆40Updated 7 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- Optional types for Prolog☆16Updated 4 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- Kanren with databases☆43Updated 3 months ago