esad / lot

Related projects ⓘ

Alternatives and complementary repositories for lot

• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆42Updated 7 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆31Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆61Updated 8 years ago
• jvoigtlaender / elm-drag
  A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).
  ☆27Updated 8 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• vilterp / elm-diagrams
  An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.
  ☆44Updated 8 years ago
• evancz / automaton
  experimental library for Arrowized FRP in Elm
  ☆41Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 8 years ago
• TheSeamau5 / elm-history
  Elm bindings to HTML5 History API
  ☆31Updated 8 years ago
• rluiten / mailcheck
  Port to Elm of mailcheck.js, suggests domains for emails with errors.
  ☆26Updated 5 years ago
• webyrd / polyconf-2015
  Resources from the Polyconf 2015 talk & relational interpreters workshop
  ☆16Updated 9 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• TheSeamau5 / elm-storage
  Local Storage in Elm
  ☆17Updated 8 years ago
• OvermindDL1 / bucklescript-testing
  ☆48Updated 7 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• waywardmonkeys / apple_sk8
  ☆81Updated 9 years ago
• Apanatshka / elm-signal-extra
  (defunct as of Elm 0.17) Signal-related, advanced and convenience functions
  ☆23Updated 8 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• joefiorini / hi-elm
  ☆18Updated 9 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 7 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 9 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• deech / LeftPad
  ☆23Updated 6 years ago