andrewcmyers / constrainLinks
Responsive, animated figures in JavaScript/HTML canvases
☆138Updated 2 weeks ago
Alternatives and similar repositories for constrain
Users that are interested in constrain are comparing it to the libraries listed below
Sorting:
- a datalog interpreter in typescript☆213Updated 11 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated 2 weeks ago
- Demo of a WAM Prolog implementation in Python☆79Updated 2 years ago
- a tiny tile-based editor☆315Updated 3 weeks ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- WASM builds of the Z3 SMT solver☆151Updated 5 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 10 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated this week
- Polynomial-time Meta-Interpretive Learning☆131Updated 10 months ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- Hash-based Diffing for AST's☆77Updated 5 years ago
- An online IDE for visual programming in Prolog☆246Updated 2 weeks ago
- a language for building system dynamic models☆169Updated last week
- ☆87Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated last week
- I refer you to the name of the repository☆25Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆51Updated 2 months ago
- Mystery Languages☆41Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago