Alternatives and similar repositories for sketchpad

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

• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆76Updated 2 years ago
• codr7 / cidk
  interpreter devkit
  ☆25Updated 6 years ago
• waywardmonkeys / apple_sk8
  ☆83Updated 10 years ago
• stokito / fortress-lang
  ☆58Updated 8 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 7 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• chalup / dawggenerator
  Fast directed acyclic word graph generator
  ☆92Updated 7 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆131Updated 4 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• poplog / poplog
  Poplog
  ☆21Updated 15 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago
• kristopherjohnson / suwaneeforth
  A Forth interpreter implemented in Swift, based upon JONESFORTH
  ☆41Updated 10 years ago