dfridovi / sketchpad

Related projects ⓘ

Alternatives and complementary repositories for sketchpad

• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 6 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• 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
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• 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
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• kulp / tenyr
  Simple, orthogonal 32-bit computer architecture and environment
  ☆27Updated 8 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• kevinwortman / Scheme-immutable-data-structures
  Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.
  ☆15Updated 4 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 8 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 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 2 years ago
• waywardmonkeys / apple_sk8
  ☆81Updated 9 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 7 years ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 10 years ago
• darius / tinyhiss
  A Smalltalk in Python
  ☆12Updated 2 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago