esad / lot
Constaints-based spreadsheet prototype
☆17Updated 8 years ago
Alternatives and similar repositories for lot:
Users that are interested in lot are comparing it to the libraries listed below
- a language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- μKanren in Elm☆43Updated 7 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A "port" of plucid that works on OS X☆12Updated 10 years ago
- Forth clone in Haskell☆32Updated 7 years ago
- A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).☆27Updated 8 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- SML On Stilts☆37Updated 10 years ago
- Programming Language meets UI☆51Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- Port to Elm of mailcheck.js, suggests domains for emails with errors.☆26Updated 5 years ago
- Elm bindings to HTML5 History API☆31Updated 9 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- OCaml cross-compiler for iOS☆78Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A simple http server written in Prolog☆29Updated 8 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago