denkspuren / consizeLinks
Consize is a concatenative programming language
☆36Updated 4 months ago
Alternatives and similar repositories for consize
Users that are interested in consize are comparing it to the libraries listed below
Sorting:
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The Kraken Programming Language☆47Updated last year
- Stackless Joy☆23Updated 3 months ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- ☆22Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- Gershwin programming language☆76Updated 11 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Kanren with databases☆44Updated 11 months ago
- The package manager for Cyclone Scheme.☆32Updated last year
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- A property-based testing library for Racket.☆32Updated last year
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- ☆15Updated 8 years ago
- Compiler that has been integrated into Okami now☆24Updated 3 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- Official Sagittarius Scheme repository☆50Updated last week
- Wasm tooling in Racket.☆43Updated 2 years ago
- okami is an application development platform☆37Updated 11 months ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago