wjlewis / ramo
miniKanren for JavaScript
☆26Updated last year
Alternatives and similar repositories for ramo:
Users that are interested in ramo are comparing it to the libraries listed below
- JavaScript implementation of modified version of miniKanren☆33Updated 5 years ago
- Shen for JavaScript☆59Updated 8 months ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- Natural Language Datalog☆129Updated 7 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆43Updated this week
- A SmallTalk like live coding system running in the browser, based on TypeScript.☆66Updated 6 years ago
- Store immutable facts and query them with datalog.☆48Updated last year
- The Coil Programming Language☆34Updated last year
- Port of microKanren to JavaScript.☆24Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Updated 2 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- ☆45Updated 2 years ago
- ☆187Updated 5 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A Common Lisp-like Lisp-1 in TypeScript with TCO and partially hygienic macros☆32Updated 3 years ago
- Lisp-like language to WebAssembly build with racket☆23Updated 7 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A generic zipper library for JavaScript☆29Updated 8 years ago
- Trealla Prolog for the web☆50Updated 2 weeks ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 7 months ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago