☆48Mar 14, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Datalog-style database that enables programmers to represent facts using natural language☆53Feb 9, 2023Updated 3 years ago
- Natural Language Datalog☆141Nov 26, 2017Updated 8 years ago
- A live programming environment that lets you see the inner workings of programs☆84Feb 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.☆202Mar 29, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Feb 15, 2019Updated 7 years ago
- A Squeak/Smalltalk implementation of the metaprogramming framework Ohm.☆24Mar 6, 2026Updated 7 months ago
- OMeta for Lua☆13Feb 11, 2021Updated 5 years ago
- This is a library for "Overveld-style" constraint relaxation.☆70Feb 24, 2023Updated 3 years ago
- Graphing Scrubbing Calculator☆12Nov 27, 2017Updated 8 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- ☆16Feb 7, 2025Updated last year
- ☆15Sep 18, 2026Updated last month
- Experimental tools for working with Clara☆21Oct 6, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- tiny spreadsheet language with ambiguous values☆12Mar 29, 2024Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- Text++ Interfaces (Editable Views of Textual Inputs)☆16Jan 17, 2023Updated 3 years ago
- Collaboration for reinventing software in human terms☆174May 17, 2018Updated 8 years ago
- ☆29Oct 17, 2026Updated last week
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- Spreadsheet.Institute/ website + Spreadsheet Lisp source repository☆19Apr 16, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆47May 30, 2025Updated last year
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 7 months ago
- A JavaScript runtime for the SNOBOL4 programming language☆21Jun 13, 2026Updated 4 months ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Feb 20, 2015Updated 11 years ago
- Controlled JavaScript code execution and instrumentation.☆12Jun 18, 2019Updated 7 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- An Electron app that helps you write and publish threads on Twitter.☆11Sep 4, 2022Updated 4 years ago
- Information about Cassowary and implementation☆16Oct 6, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TPTP linear logic version☆14Jan 27, 2025Updated last year
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- Immutable operations for JavaScript data structures☆17Jan 3, 2023Updated 3 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- Specification for Shape Trees☆14Sep 2, 2026Updated last month
- List of future of programming projects☆378Jun 26, 2024Updated 2 years ago