Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
☆19Jul 4, 2023Updated 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).☆22Mar 29, 2023Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Prose Markup Language☆10Mar 31, 2023Updated 2 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Synthesizable Uxn CPU☆17Jul 14, 2022Updated 3 years ago
- An Erlang and LFE MUD/MUSH Server.☆23Oct 26, 2022Updated 3 years ago
- A storage place for my ternary experiments, including an emulator for a theoretical 27-trit CPU.☆30Nov 20, 2021Updated 4 years ago
- Field2 — an coding environment for making art☆58Apr 14, 2023Updated 2 years ago
- Varvara / Uxn core for Analogue Pocket (mirror of https://codeberg.org/tsalvo/openfpga-varvara)☆27Feb 7, 2026Updated 3 weeks ago
- An interpreter for C flat, a music-based programming language☆29Jan 1, 2021Updated 5 years ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- GNU SETL☆37Feb 7, 2025Updated last year
- Visualizing Data with Python☆12Jul 27, 2021Updated 4 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- the mind-blowing sci-fi font☆11Mar 2, 2022Updated 4 years ago
- FortranCL: a Fortran 90 interface for OpenCL☆11Jun 27, 2024Updated last year
- ☆18Dec 24, 2025Updated 2 months ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- A tinder bot/automation utility for social experimentation.☆10Nov 24, 2016Updated 9 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Notes on how to implement the Uxn/Varvara virtual machine specification☆36May 1, 2023Updated 2 years ago
- Fractran interpreter in Fractran☆35Dec 27, 2014Updated 11 years ago
- ☆15Jan 27, 2026Updated last month
- ☆11Sep 5, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Random assortment of Forth programs that solve CS 101 sort of problems.☆12Mar 26, 2024Updated last year
- nodejs code to control dot2 software use Akai APC mini controller☆15Mar 11, 2025Updated 11 months ago
- General Python package offering miscellaneous functions in different categories, such as reading different file formats, julian date rout…☆10Jun 11, 2023Updated 2 years ago
- EPOCH Input System Version 2☆10Jun 5, 2020Updated 5 years ago
- The Kent Retargetable occam Compiler☆46Feb 19, 2022Updated 4 years ago
- A port of the Uxn virtual machine to the ESP32☆40Mar 6, 2023Updated 2 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- computational sociology of philosophy☆16May 9, 2016Updated 9 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- NBODY6☆11Mar 14, 2022Updated 3 years ago
- ☆10Jan 1, 2022Updated 4 years ago
- A Stack-Based programming language, using Hebrew Niqqud diacritical marks☆14Dec 7, 2022Updated 3 years ago
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- Introduction to Python 3☆14Dec 4, 2018Updated 7 years ago