SoftwareHub Community · @SoftwareHub
18 followers · 41 posts · Server fosstodon.orgRecommended Programming languages
ATS-lang
https://www.cs.bu.edu/~hwxi/atslangweb/
Koka
https://koka-lang.github.io/koka/doc/index.html
Verona
https://github.com/microsoft/verona
Lean4
https://github.com/leanprover/lean4
NOTE: Recommended in addition to modern C++23.
#SoftwareHub
#SoftwareFreedomProject
#Cairo
#Ankara
#Riyadh
#ATSLang
#PonyLang
#KokaLang
#Vallang
#ValeLang
#ProjectVerona
#Lean4
#isocpp
#cplusplus
#cpp
#modernCplusplus
#ProgrammingLanguages
#SoftwareHub #softwarefreedomproject #cairo #ankara #riyadh #atslang #ponylang #KokaLang #vallang #valelang #projectverona #Lean4 #isocpp #cplusplus #cpp #moderncplusplus #programminglanguages