ski-calculus

Here are 10 public repositories matching this topic...

mbuliga / chemski

Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.

simulation artificial-life ski-calculus ski-combinator-calculus graph-rewriting artificial-chemistry chemlambda combinatory-chemistry

Updated Jul 4, 2023
JavaScript

quchen / lambda-ski

Star

A lambda and SKI calculus playground

haskell lambda-calculus ski-calculus

Updated Mar 7, 2023
Haskell

s0fractal / sigma-glyph

Star

Content-addressed SKI compute core with bit-exact consensus. Spec-first, multi-model reviewed, machine-verifiable conformance.

consensus specification content-addressed deterministic ski-calculus ai-agents

Updated Sep 7, 2026
Python

mountain / skiverse

Star

A SKI universe

cheminformatics simulation ski-calculus ski-combinators ideal-gas program-gas

Updated Aug 13, 2021
Java

newlandsvalley / skicalculator

Star

Conversion between combinator birds and the SKI calculus

combinator ski-calculus

Updated May 18, 2014
Scala

dokutan / combinator-playground

Star

An interpreter for combinatory logic with a few additional features.

combinatory-logic ski-calculus combinators combinators-calculus

Updated Aug 13, 2026
Clojure

Ailrun / Lambdifies

Star

Lambdifies VM

language vm haskell virtual-machine ski-calculus ski-combinators

Updated Feb 11, 2017
Haskell

rootmos / ppx_ski

Star

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Updated Apr 9, 2017
OCaml

Amila-Rukshan / SKI-calculus-interpreter

Star

SKI Calculus Interpreter

interpreter ski-calculus

Updated Oct 20, 2024
C++

hornc / K-IS

Star

NaNoGenMo-2020 submission

kafka ski-calculus nanogenmo 2020 lazyk hittite

Updated May 27, 2021
Scheme

Add this topic to your repo

To associate your repository with the ski-calculus topic, visit your repo's landing page and select "manage topics."

Learn more