mbuliga / chemskiLinks
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
☆18Updated last year
Alternatives and similar repositories for chemski
Users that are interested in chemski are comparing it to the libraries listed below
Sorting:
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last month
- Javascript implementation of Fractran☆14Updated 7 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- Fast, simplified WAM-based Prolog system☆22Updated last month
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆22Updated 5 months ago
- Deposited packages of the homalg project☆15Updated last month
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- lang Thue + Regex☆14Updated 3 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Updated 11 months ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago