Alternatives and similar repositories for wallingford

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

• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆94Updated last year
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 3 weeks ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 8 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• damelang / gezira
  ☆167Updated 12 years ago
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆27Updated 10 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆71Updated 7 years ago
• waywardmonkeys / apple_sk8
  ☆83Updated 10 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆136Updated 8 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆274Updated 12 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆100Updated 2 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• harc / constraint-based-spreadsheet
  ☆45Updated 2 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago