mbuliga / quinegraphs
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
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 2 weeks ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Prolog-Style Meta-Interpreters in miniKanren☆31Updated last month
- tiny experimental language for limited environments☆17Updated 2 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Lambda calculus go brrrr☆29Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 weeks ago
- Kanren with databases☆43Updated 8 months ago
- ☆10Updated this week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Art of Prolog Code☆36Updated 5 years ago
- software archaeology of reflective towers of interpreters☆16Updated 6 months ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 7 months ago