examachine

joined 1 week ago
sorted by: new top controversial old
Lean Programming Language - with formally verified code in c/programming_languages@programming.dev
[–] examachine@programming.dev 1 points 1 week ago

Lean is a quite advanced design.

Uiua — an extremely terse programming langauge in c/programming_languages@programming.dev
[–] examachine@programming.dev 1 points 1 week ago

Must be an art project :D