Agda Github Community
Robert Culling
4malmafm8ix
Mathematics teacher with interests in logic, type theory, and functional programming.
Bisma Joyosumarto
BismaBRJ
A regular student who occasionally goes on GitHub to publish his code for everyone else to see.
South Jakarta, Jakarta, Indonesia
Arialdo Martini
arialdomartini
Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue
Lost in Emacs - @arialdo@mastodon.online
Monocled
PersonForSure
Self studying mathematics, λ (A : Type) → λ (f : A → A) → λ (x : A) → f^15(x) years old
>_
Stefanos Anagnostou
steve-anunknown
Student at the School of Electrical and Computer Engineering of the National Technical University of Athens.
Rameez Raja Soomro
RameezRS16
Data Science Aficionado 🤖 | AI & ML Connoisseur 💡 | Proficient in Python & R 📊 | Lifelong Explorer of Knowledge 🔍
karachi Pakistan
Prithvi Raj
its-prithvi-raj
A temporary manifestation of energy!⚡🌃
Sauntering in the Milky Way Galaxy
Giulio Caflisch
giuliocaflisch
Mathematics student from Italy (Sicily) and Switzerland (Grisons).
Adult fan of Lego®.
Italy
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Tewuzij
I love purely functional programming languages and will try to write programs in these
Darius Liddell
djtrack16
Stanford CS. Ruby.
Functional Programming Enthusiast.
Slow Traveller.
Cycling.
Cicero
ciceropaulino
Hi! My name is Cicero. I am currently a graduate student in Information Technology at the Federal University of Rio Grande do Norte. 👨🏻🎓
Natal/RN - Brasil
Jelly Terra
jellyterra
Focus on architecture, formal, compiler and HLS. Qed.
Gensokyo Silicon East China
PreviousNext