Alternatives and similar repositories for sketchzone

Users that are interested in sketchzone are comparing it to the libraries listed below

• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated this week
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆23Updated 3 months ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆85Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆17Updated 5 years ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆20Updated 11 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 11 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆46Updated 3 years ago
• mthom / scryer-shen
  ☆56Updated 4 months ago
• vmchale / apple
  Apple array system
  ☆67Updated last week
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 9 months ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• pdubroy / 200andchange
  ☆46Updated 3 months ago