esad / lot
Constaints-based spreadsheet prototype
☆17Updated 9 years ago
Alternatives and similar repositories for lot:
Users that are interested in lot are comparing it to the libraries listed below
- A "port" of plucid that works on OS X☆12Updated 10 years ago
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- μKanren in Elm☆43Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Implementations of µKanren in assorted languages☆63Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- OCaml cross-compiler for iOS☆78Updated 9 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- SML On Stilts☆37Updated 11 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).☆27Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- Forth clone in Haskell☆33Updated 7 years ago
- Port to Elm of mailcheck.js, suggests domains for emails with errors.☆26Updated 2 weeks ago
- IO for Elm☆29Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- CodeMirror wrapper for Elm☆19Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- ☆38Updated 8 years ago
- Stable Array, Dict and Set implementations for Elm☆14Updated 8 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago