dfridovi / sketchpad

Related projects ⓘ

Alternatives and complementary repositories for sketchpad

• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• briangu / OPS5
  OPS5 Production System
  ☆54Updated 11 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 9 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 7 months ago
• halgari / jit-playground
  A translation of the PyPy prolog jit tutorials from Prolog to Clojure
  ☆18Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• bootstrapworld / wescheme
  wescheme
  ☆26Updated this week
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 9 years ago
• schani / jscreme
  A self-hosting Scheme to JavaScript compiler
  ☆33Updated 14 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• eiselekd / MinimalLisp
  Minimal Lisp/Forth
  ☆10Updated 12 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/
  ☆39Updated 3 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• BSeppke / vigracket
  access (parts of) VIGRA's functionality from Racket
  ☆15Updated 2 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆28Updated 3 years ago
• rlt3 / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• halgari / async-mu-kanren
  A POC implementation of muKanren using CSP (core.async)
  ☆31Updated 10 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• dabrady / LittleLogicLangs
  Project files for my paper, "Little Logic Languages for Relational Programming"
  ☆12Updated 4 years ago