We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Sovietscript
Sovietscript is a ternary variation of Binary lambda calculus designed to be as Marxist-Leninist as possible. The variables are de Brujin indexed so there are no names so λx.x is no different from λy.y, they are both λ1.
0xy
This means apply y to function x.
1
This is a lambda abstraction λ.
x
This is a variable, the de Brujin index is represented as a string of 2s in unary representation
Background information: Sovietscript was created by engineers in the Soviet Union to write a coding language for the ternary computer SOYUZ-1 that was as communist as they are. They took up Alonzo Church's work on Lambda calculus and translated it to ternary. In 2008, it became open source.