mbuliga / chemski Star 16 Code Issues Pull requests 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 4 Code Issues Pull requests A lambda and SKI calculus playground haskell lambda-calculus ski-calculus Updated Mar 7, 2023 Haskell
mountain / skiverse Star 3 Code Issues Pull requests A SKI universe cheminformatics simulation ski-calculus ski-combinators ideal-gas program-gas Updated Aug 13, 2021 Java
Ailrun / Lambdifies Star 1 Code Issues Pull requests Lambdifies VM language vm haskell virtual-machine ski-calculus ski-combinators Updated Feb 11, 2017 Haskell
newlandsvalley / skicalculator Star 1 Code Issues Pull requests Conversion between combinator birds and the SKI calculus combinator ski-calculus Updated May 18, 2014 Scala
rootmos / ppx_ski Star 1 Code Issues Pull requests SKI combinator calculus implemented in OCaml ocaml ppx ski-calculus ski-combinators Updated Apr 9, 2017 OCaml
hornc / K-IS Star 0 Code Issues Pull requests NaNoGenMo-2020 submission kafka ski-calculus nanogenmo 2020 lazyk hittite Updated May 27, 2021 Scheme
Amila-Rukshan / SKI-calculus-interpreter Star 0 Code Issues Pull requests SKI Calculus Interpreter interpreter ski-calculus Updated Aug 15, 2024 C++