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☆34Updated last month
- tiny experimental language for limited environments☆17Updated 2 years ago
- Compiler for MFM programming language☆22Updated 3 months 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
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 weeks ago
- exploration of reflective architectures in Scheme☆21Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- microKanren sagittarius/larceny☆11Updated 9 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆29Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A specialised computer algebra system for topos theory.☆18Updated 11 months ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Art of Prolog Code☆36Updated 5 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago