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
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Compiler for MFM programming language☆23Updated 2 months ago
- Art of Prolog Code☆36Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- A relational interpretation of Lojban☆34Updated last month
- Datalog implemented in minikanren☆24Updated 7 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- Compiler for MFM programming language☆59Updated 5 months ago
- Simple array language written in kotlin☆46Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 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…☆16Updated 3 years ago
- Movable Feast Machine C++ reference implementation and simulator☆91Updated 3 months ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Brief language☆20Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Catalog of visual lambda calculi☆150Updated last month
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago