ski: a 666-byte, public domain SKI combinator calculus evaluator in C. Try it online!
iota2ski: a 453 byte, public domain pure-iota to SKI combinator calculus transpiler in C. Try it online!
binski2lazyk: a 63-byte, public domain binary-tree SKI combinator calculus to LazyK SKI combinator calculus transpiler. Try it online!
lazyk2binski: a 92-byte, public domain LazyK SKI combinator calculus to binary-tree SKI combinator calculus transpiler. Try it online!
free2strict: a 525-byte, public domain free-hand combinator calculus to strict calculus transpiler. Try it online!
bcw2ski: a 90-byte, public domain BCKW-system SKI calculus to classic SK(I) calculus transpiler. Try it online!
ski2iota: a 50-byte SKI calculus to Jot transpiler. Try it online!
Useful links: