Alternatives and similar repositories for sketchpad

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

• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• kevinwortman / Scheme-immutable-data-structures
  Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.
  ☆14Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• kyouko-taiga / Diesel
  A Swift library to write parsers for domain specific languages.
  ☆14Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 6 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• DamienCassou / DSLides
  A DSL to create slides written in Common Lisp
  ☆15Updated 13 years ago
• schani / jscreme
  A self-hosting Scheme to JavaScript compiler
  ☆33Updated 15 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 2 years ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• racket / r6rs
  ☆7Updated last month
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 10 years ago
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆11Updated 3 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 3 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago