jxe / ceml
a language for coordinating real-world interaction
☆36Updated 13 years ago
Alternatives and similar repositories for ceml:
Users that are interested in ceml are comparing it to the libraries listed below
- ☆43Updated last year
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated 2 years ago
- Wheeler is a programming language☆42Updated 11 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆23Updated 13 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated last year
- Concrete Model Editor☆68Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 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…☆90Updated 11 months ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Updated 10 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆103Updated this week
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Open source LaTeX of Pharo By Example☆66Updated 9 years ago
- ☆53Updated 4 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Reference implementation of a Tent server in Ruby☆500Updated 8 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 8 months ago
- Semantic Web scripting language☆101Updated last year
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c☆31Updated 2 years ago
- Natural Language Datalog☆129Updated 7 years ago
- I got mad flow.☆85Updated 7 years ago
- Server-side federated wiki with no javascript☆29Updated 8 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆30Updated 3 years ago
- Web tooling and visualization functions supporting the exploratory parsing of semi-structured text.☆26Updated 7 years ago
- combined object/lambda architcture☆25Updated 15 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago