henrystanley / Quark
Quark, A Functional, Purely Homoiconic, Concatenative Language
☆25Updated 8 years ago
Alternatives and similar repositories for Quark:
Users that are interested in Quark are comparing it to the libraries listed below
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- Pinocchio VM☆20Updated 4 years ago
- Forth emulator, as a Racket #lang☆21Updated last year
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Don't Lisp, Talk!☆57Updated 9 months ago
- backup of the joy programming language☆30Updated 8 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 7 months ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated 10 months ago
- ☆20Updated 12 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- staged relational interpreters: running with holes, faster☆126Updated 2 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- ☆16Updated 2 months ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- ☆15Updated 8 years ago
- okami is an application development platform☆34Updated 5 months ago
- silly-k is an experimental language inspired by K and APL☆15Updated 3 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- A microKanren framework for implementing constraints.☆19Updated 6 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 3 months ago
- The package manager for Cyclone Scheme.☆29Updated 11 months ago