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 2 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 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…☆90Updated last year
- Wheeler is a programming language☆43Updated 11 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- things that don't deserve their own repo☆64Updated 2 weeks ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 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
- ☆18Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- ☆14Updated 4 years ago
- Reference implementation of a Tent server in Ruby☆499Updated 8 years ago
- I got mad flow.☆85Updated 7 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Updated 13 years ago
- Natural Language Datalog☆129Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago
- ☆53Updated 4 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- wescheme☆27Updated last month
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Concrete Model Editor☆68Updated 8 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 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
- Compiler for MFM programming language☆21Updated last month
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 10 months ago