Alternatives and similar repositories for quinegraphs

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

• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 3 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 6 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 weeks ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆21Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆32Updated 10 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 8 months ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 9 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
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆29Updated 4 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated 11 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago