mbuliga / chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
☆17Updated last year
Alternatives and similar repositories for chemski:
Users that are interested in chemski are comparing it to the libraries listed below
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆19Updated last year
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 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…☆14Updated 3 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆20Updated last year
- software archaeology of reflective towers of interpreters☆15Updated 3 months ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- lang Thue + Regex☆14Updated 2 years ago
- Compiler for MFM programming language☆21Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- World's fastest FRACTRAN interpeter☆11Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆33Updated last week
- Boolean Constraint Solving in Prolog☆38Updated last month
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago