henrystanley / Quark
Quark, A Functional, Purely Homoiconic, Concatenative Language
☆25Updated 9 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
- Pinocchio VM☆20Updated 4 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 4 months ago
- Don't Lisp, Talk!☆57Updated 10 months ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 10 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated 11 months ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Updated 11 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- ☆11Updated this week
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A programming argot☆58Updated 10 months ago
- Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style☆24Updated 7 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- A port of sweet expressions to Racket☆47Updated last year
- ☆16Updated this week
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- ☆15Updated 8 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago