SkillAgentSearch skills...

Ski

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

Install / Use

/learn @iczelia/Ski
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

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:

Related Skills

View on GitHub
GitHub Stars12
CategoryDevelopment
Updated7mo ago
Forks1

Languages

Perl

Security Score

82/100

Audited on Aug 29, 2025

No findings