Alternatives and similar repositories for sketchzone:

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

• prg-titech / magritte
  A language for pipe-based programming
  ☆52Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated this week
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated last month
• inkandswitch / wrapper
  Better web-based prototypes for iPad
  ☆16Updated last week
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 4 years ago
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• ashinkarov / heh
  A programming language with infinite arrays
  ☆31Updated 5 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• lambduli / minilog
  A small logic programming language.
  ☆15Updated 8 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆25Updated 2 years ago
• dawn-lang / umcc
  Untyped Multistack Concatenative Calculus
  ☆10Updated 2 years ago