omphalos / inductive.js
Inductive programming in JavaScript
☆25Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for inductive.js
- A Pint-sized Earley Parser☆34Updated 2 months ago
- Minimalistic, functional, JSON-formatted programming language☆19Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- ☆53Updated 3 years ago
- Automatic-Differentiation in js☆35Updated 8 years ago
- This is a library for "Overveld-style" constraint relaxation.☆65Updated last year
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- The many experiments that have led to Eve in its current form☆65Updated 5 years ago
- A docker image for Fortran -> js compilation☆22Updated 9 years ago
- ☆69Updated 6 months ago
- An Efficient JavaScript Unification Library☆19Updated 9 years ago
- ☆33Updated 8 years ago
- ☆41Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 5 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…☆88Updated 8 months ago
- A Lisp-esque, JS-interpreted scripting language☆26Updated 8 years ago
- World's dumbest fuzzer☆52Updated 10 months ago
- Natural Language Datalog☆127Updated 6 years ago
- Request for Comments on changes to Eve☆28Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- I got mad flow.☆85Updated 6 years ago
- Markdown + Tangle.js + (someday) SymPy☆31Updated 2 years ago
- Turn idle browsers into a compute farm.☆19Updated 7 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Direct Manipulation of Turtle Graphics☆37Updated 2 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
- Lux is an EDSL for WebGL graphics and shading☆99Updated 6 years ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Updated 9 years ago