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 language workbench for parsing and transforming curly-brace languages☆42Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- μKanren in Elm☆43Updated 8 years ago
- Forth clone in Haskell☆33Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).☆27Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- IO for Elm☆29Updated 9 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Implementations of µKanren in assorted languages☆63Updated 8 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- Port to Elm of mailcheck.js, suggests domains for emails with errors.☆26Updated last month
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- A "port" of plucid that works on OS X☆12Updated 10 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- OCaml cross-compiler for iOS☆78Updated 9 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- Elm bindings to HTML5 History API☆31Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- The propagator system☆41Updated 9 years ago