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:
- A Pint-sized Earley Parser☆33Updated last year
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 4 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Updated 2 years ago
- An Efficient JavaScript Unification Library☆19Updated 10 years ago
- ☆53Updated 5 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- ☆70Updated last year
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- ☆33Updated 9 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago
- The Sentient Programming Language.☆82Updated 6 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
- A parallel JavaScript math and statistics library built around HTML5 Web Workers and Node.js cluster☆14Updated 10 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- Gallery of Concept Visualization☆99Updated 5 years ago
- a multi-syntax language☆136Updated 9 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- write a program only by a simple click☆49Updated 9 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆167Updated 10 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- Learn and explore JavaScript, and create your own dares!☆143Updated 4 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Markdown + Tangle.js + (someday) SymPy☆31Updated 3 years ago