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
• enso-lang / enso
  ☆71Updated 5 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
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 8 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• mkery / Variolite
  ☆16Updated 8 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆48Updated last month
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆76Updated 2 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 6 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆63Updated 9 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 9 years ago
• bootstrapworld / wescheme
  wescheme
  ☆27Updated 4 months ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 4 months ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated last month