sorted by: new top controversial old
Lean Programming Language - with formally verified code in c/programming_languages@programming.dev
Uiua — an extremely terse programming langauge in c/programming_languages@programming.dev