47 followers
78 repos
42 recent contributions
Updated 2 months ago
Top ranked
Haskell developers
2,938 available (25 shown subscribe)
Functional Programming * Mathematical Construction of Programs * C++ * Session Types * Category Theory * Finance
26 followers
37 repos
7 recent contributions
Updated 2 months ago
Tokyo based iOS developer. Passionate about machine learning and AI. Recently also into Haskell and functional programming.
26 followers
28 repos
3 recent contributions
Updated 2 months ago
48 followers
64 repos
63 recent contributions
Updated 2 months ago
Estudante de Ciências da Computação na Universidade Federal de Campina Grande
4 followers
10 repos
2 recent contributions
Updated 2 months ago
17 followers
19 repos
0 recent contributions
Updated 2 months ago
Informatics PhD student at University of Edinburgh. Focusing on formal verification and proof mechanisation, specifically in Isabelle.
16 followers
23 repos
20 recent contributions
Updated 2 months ago
EE techie w/ a passion for open source tools.
82 followers
70 repos
28 recent contributions
Updated 2 months ago
105 followers
45 repos
147 recent contributions
Updated 2 months ago
Ph.D. student @hkuplg, Programming Languages
139 followers
23 repos
129 recent contributions
Updated 2 months ago
No results match your filter.