mbuliga / quinegraphsLinks
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
☆22Updated 2 years ago
Alternatives and similar repositories for quinegraphs
Users that are interested in quinegraphs are comparing it to the libraries listed below
Sorting:
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆19Updated 2 years ago
- Compiler for MFM programming language☆25Updated 4 months ago
- Art of Prolog Code☆36Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆172Updated last week
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- various toys in j☆12Updated 3 years ago
- Movable Feast Machine C++ reference implementation and simulator☆93Updated 5 months ago
- things that don't deserve their own repo☆63Updated 4 months ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 6 months ago
- A relational interpretation of Lojban☆34Updated 3 months ago
- Compiler for MFM programming language☆59Updated 7 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- Brief language☆20Updated last year
- Catalog of visual lambda calculi☆158Updated 3 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 4 months ago
- 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 3 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago