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.☆18Updated last year
- Leibniz - a Digital Scientific Notation☆35Updated 2 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…☆16Updated 3 years ago
- ☆10Updated 3 weeks ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Art of Prolog Code☆36Updated 5 years ago
- Compiler for MFM programming language☆22Updated 3 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Javascript implementation of Fractran☆14Updated 7 years ago
- a syntax directed editor☆17Updated last year
- A relational interpretation of Lojban☆33Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆23Updated 9 months ago
- exploration of reflective architectures in Scheme☆21Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆32Updated 3 months ago