Awesome

cosmopolitan-sk

Implementing SK calculus in as many languages as possible.

Current list:

• asm2bf
• asm.js
• Ada
• awk
• BASIC
• BCDFuck
• brainfuck
• C
• C#
• csh
• COBOL
• D
• Fortran
• Free Pascal
• Go
• Java
• Julia
• ksh
• ksh88
• Lua
• Neko
• Nickle
• Malbolge Unshackled
• Old Bash
• Perl
• PowerShell
• Raku
• RC AT&T Plan9 shell
• Ruby
• Tcl
• T-SQL
• Seed Esolang
• Swift
• S-lang
• Vala
• Whitespace
• x86 ELF32 binary
• x86 GNU assembly

Goal

Every program present in this repository has been synthetised from asm2bf source code. The repository is meant to be a demonstration of how powerful asm2bf can be when it comes to the platforms it targets.

Test cases

test "(((SK)K)K)" "K"
test "((((S((S(KS))K))(K((SK)K)))(KK))(SS))" "K"
test "((((S(K(S((SK)K))))K)S)K)" "(KS)"
test "(((S((S(K((SK)K)))((S((S(K((SK)K)))((SK)K)))(K(K(K((SK)K)))))))(K((S(KK))((SK)K))))((S((S(K((SK)K)))((S(K((S(KS))(S(K((SK)K))))))((S(KK))((SK)K)))))(K((SK)K))))" "(K((SK)K))"
test "((((S(KS))((S(K(S(KS))))((S(K(S(KK))))((SK)K))))((SK)K))((SK)K))" "((S((S(KS))((S(KK))((SK)K))))((SK)K))"

Notes

Malbolge Unshackled

Everything other than ( and K is treated as S. The source file is sk-malbolge.mb. Use fast20 from kspalaiologos/malbolge-lisp repository.

BCDFuck

Trivial brainfuck derivative; source code located in sk-bcd.bcd

Seed

The ski-seed.seed program is a proof that the Seed esoteric language is turing complete.