mbuliga / chemskiLinks
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
☆19Updated 2 years ago
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
- lang Thue + Regex☆15Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 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
- Tutorial for the CHR system☆16Updated 4 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 3 months ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Compiler for MFM programming language☆23Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 months ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- Specification of the Cedille Core language☆32Updated 5 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Updated 7 months ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- Boolean Constraint Solving in Prolog☆46Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- Real number computation software☆126Updated 3 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year