☆46Mar 14, 2023Updated 2 years ago
Alternatives and similar repositories for constraint-based-spreadsheet
Users that are interested in constraint-based-spreadsheet are comparing it to the libraries listed below
Sorting:
- Natural Language Datalog☆136Nov 26, 2017Updated 8 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Feb 9, 2023Updated 3 years ago
- A live programming environment that lets you see the inner workings of programs☆81Feb 2, 2022Updated 4 years ago
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Feb 7, 2024Updated 2 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆201Mar 29, 2017Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Feb 15, 2019Updated 7 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Feb 24, 2023Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 4 years ago
- A Squeak/Smalltalk implementation of the metaprogramming framework Ohm.☆24Aug 3, 2024Updated last year
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- ☆15Feb 7, 2025Updated last year
- Simple hlisp project setup.☆41Feb 16, 2013Updated 13 years ago
- OMeta for Lua☆13Feb 11, 2021Updated 5 years ago
- ☆19May 12, 2023Updated 2 years ago
- Experimental tools for working with Clara☆21Oct 5, 2016Updated 9 years ago
- An IDE for the Ohm language (JavaScript edition)☆102Nov 22, 2024Updated last year
- The best Prolog visualizer☆88Dec 2, 2022Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Jan 31, 2019Updated 7 years ago
- Collaboration for reinventing software in human terms☆173May 17, 2018Updated 7 years ago
- New project generator for @thi.ng/hdom TypeScript apps☆17Sep 15, 2019Updated 6 years ago
- tiny spreadsheet language with ambiguous values☆11Mar 29, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- I got mad flow.☆85Feb 6, 2018Updated 8 years ago
- Idris was an operating system developed by Whitesmiths☆32Nov 20, 2021Updated 4 years ago
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 8 years ago
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated 8 months ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- A reasonably performant TF-IDF implementation.☆12Nov 20, 2022Updated 3 years ago
- ☆16Dec 29, 2018Updated 7 years ago
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆11Sep 27, 2023Updated 2 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Information about Cassowary and implementation☆16Oct 6, 2022Updated 3 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- SiaqodbCloud is a RESTful service through which you can synchronize Siaqodb from client side( Windows, WindowsStore, Xamarin) with a serv…☆10Jul 10, 2017Updated 8 years ago
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- A collection of utilities for use with OpenRDF Sesame (as of recently, Eclipse RDF4J)☆50Aug 17, 2021Updated 4 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago