Skip to content

iczelia/ski

Repository files navigation

ski

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:

About

a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors