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.
  ☆19Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆25Updated 7 months ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆95Updated 8 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 4 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 5 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 10 months ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆25Updated 7 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆35Updated 6 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆167Updated 6 months ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• AshleyF / brief
  Brief language
  ☆20Updated last year
• nebogeo / scheme-bricks
  experimental visual programming in scheme for making rave music, uses fluxus
  ☆59Updated 6 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆152Updated 3 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆63Updated 7 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆34Updated 10 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 4 years ago
• grokthis / ucisc
  ☆23Updated 3 months ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 3 years ago
• felko / ton-lang
  A visual programming language, evaluated as a cellular automaton
  ☆64Updated 4 months ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago