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
- Art of Prolog Code☆36Updated 6 years ago
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 10 months ago
- Compiler for MFM programming language☆59Updated 10 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 5 years ago
- minikanren mips assembler/disassembler☆34Updated 10 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Normalization-by-evaluation in miniKanren☆25Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Javascript implementation of Fractran☆15Updated 8 years ago
- Compiler for MFM programming language☆26Updated 7 months ago
- A relational interpretation of Lojban☆36Updated 6 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated last week
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Movable Feast Machine C++ reference implementation and simulator☆96Updated 8 months ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Catalog of visual lambda calculi☆169Updated 6 months ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 11 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 8 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago