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
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Art of Prolog Code☆36Updated 6 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Catalog of visual lambda calculi☆153Updated 2 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Compiler for MFM programming language☆23Updated 2 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆33Updated last week
- A relational interpretation of Lojban☆34Updated last month
- Compiler for MFM programming language☆59Updated 5 months ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- experimental visual programming in scheme for making rave music, uses fluxus☆59Updated 5 years ago
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Brief language☆20Updated last year
- things that don't deserve their own repo☆64Updated 3 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago