Agda. Dependently-typed languages are the future of programming, IMO. And Agda has the most compelling feature set - even Cubical Type Theory mode. Even TypeScript has bit of type-level fun. But it's hard to come up with a good project idea that will expose best parts of each language.
Didn't even know this existed!
"There are more things in heaven and earth, Horatio, than are dreamt of in your philosophy". Agda is cool, as well as theorem proovers in general.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.