cdglabs / cbmjslibLinks
A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in paper: http://www.hesam.us/callbymeaning/
☆23Updated 10 years ago
Alternatives and similar repositories for cbmjslib
Users that are interested in cbmjslib are comparing it to the libraries listed below
Sorting:
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- Request for Comments on changes to Eve☆27Updated 8 years ago
- The best Prolog visualizer☆84Updated 2 years ago
- ☆46Updated 2 years ago
- Natural Language Datalog☆133Updated 7 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆106Updated 5 months ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- A framework for building programmable applications☆29Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- a relational algebra library for JavaScript☆60Updated 10 years ago
- Shen on javascript.☆70Updated 6 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 12 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- ☆53Updated 4 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- Planning Network Visualization☆14Updated 3 years ago
- Implementation of join calculus in Objective-C for iOS☆11Updated 7 years ago
- DAYDREAMER goal-based agent☆78Updated 3 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- A Clojure dialect that compiles to native executable using the Clang compiler☆95Updated 6 years ago
- Semantics for ES5☆82Updated 9 years ago