SoftwareHub · @SoftwareHub
19 followers · 1 posts · Server floss.socialSoftwareHub just signed up on 'multi-lingua' floss.social.
#SoftwareHub
#SoftwareFreedomProject
#SoftwareFreedomLicense
#Cairo
#Ankara
#Riyadh
#Linux
#Community
#SoftwareHub #softwarefreedomproject #softwarefreedomlicense #cairo #ankara #riyadh #Linux #community
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
SoftwareHub Community · @SoftwareHub
15 followers · 23 posts · Server fosstodon.orgUsing proprietary closed source software is like jumping out of a plane with a backpack and hoping its a parachute !
#freesoftware
#gpl
#agpl
#SFL
#SoftwareFreedom
#SoftwareFreedomProject
#SoftwareHub
#Cairo
#Ankara
#Riyadh
#Mashreq
#Maghreb
#Community
#freesoftware #gpl #agpl #sfl #softwarefreedom #softwarefreedomproject #SoftwareHub #cairo #ankara #riyadh #mashreq #maghreb #community