omphalos / inductive.jsLinks
Inductive programming in JavaScript
☆25Updated 9 years ago
Alternatives and similar repositories for inductive.js
Users that are interested in inductive.js are comparing it to the libraries listed below
Sorting:
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- ☆70Updated last year
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Updated last year
- A Pint-sized Earley Parser☆33Updated last year
- The Sentient Programming Language.☆82Updated 6 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- ☆53Updated 5 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Updated 2 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆180Updated last year
- An Efficient JavaScript Unification Library☆19Updated 10 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- The many experiments that have led to Eve in its current form☆64Updated 7 years ago
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 4 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- ☆33Updated 9 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆205Updated 2 years ago
- An IDE for the Ohm language (JavaScript edition)☆102Updated last year
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago
- a language for coordinating real-world interaction☆36Updated 14 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- Automatic-Differentiation in js☆34Updated 10 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- Semantics for ES5☆82Updated 10 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 11 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- The Omni Programming Language☆34Updated 8 years ago