mbuliga / quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
☆21Updated 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
- Compiler for MFM programming language☆21Updated last month
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 5 years 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
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Art of Prolog Code☆36Updated 5 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated 2 weeks ago
- experimental computational medium and supporting tools☆22Updated this week
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- software archaeology of reflective towers of interpreters☆16Updated 5 months ago
- Dyalog APL Extended☆28Updated 10 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago