Agda Github Community
Users following agda
Jonathan D.A. Jewell
hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.
The Open University & National Union of Journalists London, United Kingdom
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 - @[email protected]
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
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
PreviousNext