harc / relax-overveldView external linksLinks
This is a library for "Overveld-style" constraint relaxation.
☆69Feb 24, 2023Updated 2 years ago
Alternatives and similar repositories for relax-overveld
Users that are interested in relax-overveld are comparing it to the libraries listed below
Sorting:
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Feb 28, 2024Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Feb 15, 2019Updated 7 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Mar 29, 2017Updated 8 years ago
- ☆46Mar 14, 2023Updated 2 years ago
- Natural Language Datalog☆136Nov 26, 2017Updated 8 years ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Feb 20, 2015Updated 10 years ago
- A live programming environment that lets you see the inner workings of programs☆81Feb 2, 2022Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Feb 9, 2023Updated 3 years ago
- ☆83Feb 23, 2015Updated 10 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆107Feb 18, 2025Updated 11 months ago
- The best Prolog visualizer☆88Dec 2, 2022Updated 3 years ago
- OMeta for JavaScript☆367Oct 31, 2013Updated 12 years ago
- An IDE for the Ohm language (JavaScript edition)☆102Nov 22, 2024Updated last year
- Information organizer using JavaScript, Mithril.js, Tachyons.css, and Ace☆11Jan 21, 2026Updated 3 weeks ago
- exploration of reflective architectures in Scheme☆20May 20, 2022Updated 3 years ago
- Extensible, two-way data binding.☆41May 20, 2014Updated 11 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 4 months ago
- A hybrid graphics editor and programming environment for creating interactive diagrams.☆1,049Jun 30, 2023Updated 2 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ☆104Oct 6, 2018Updated 7 years ago
- Request for Comments on changes to Eve☆28Sep 7, 2016Updated 9 years ago
- Collaboration for reinventing software in human terms☆174May 17, 2018Updated 7 years ago
- ☆190Dec 4, 2019Updated 6 years ago
- tools for modeling signed distance functions with hiccup-like language☆22Dec 9, 2022Updated 3 years ago
- JavaScript library enabling use of your CSS media queries easily without duplicating code.☆18Apr 16, 2014Updated 11 years ago
- New project generator for @thi.ng/hdom TypeScript apps☆17Sep 15, 2019Updated 6 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 16 years ago
- ☆87Nov 9, 2014Updated 11 years ago
- Geometry Utility Functions☆12Nov 28, 2016Updated 9 years ago
- Ansible playbook and related roles for setting up a Tor relay.☆11May 25, 2014Updated 11 years ago
- debugging biological networks to reach coherence, completeness and consistency☆50Feb 18, 2024Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆59Aug 22, 2018Updated 7 years ago
- Run Javascript on pieces of paper!☆512Sep 7, 2023Updated 2 years ago
- Simplicial-complex-like geometry builder backed by typed arrays☆14Sep 19, 2025Updated 4 months ago
- Profilers for Julia☆18Apr 7, 2022Updated 3 years ago
- A framework for building programmable applications☆29Jan 26, 2023Updated 3 years ago
- Extreme Java Turtle Graphics☆15Jul 14, 2013Updated 12 years ago
- cujojs/most W3C Messaging - reactive event streams for WebSocket, Worker, EventSource, MessagePort, etc☆30Sep 22, 2016Updated 9 years ago
- pharo-core git mirror☆95Jul 24, 2017Updated 8 years ago