Skip to content
View edofic's full-sized avatar

Block or report edofic

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@tadeboro
Tadej Borovšak tadeboro

@viaduct-ai Slovenia

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@matijapretnar
Matija Pretnar matijapretnar

Faculty of Mathematics and Physics, University of Ljubljana

@jkmcnk
jaKa jkmcnk
an unkindness of ravens in a trench coat. sails the seas. tricks computers into things. knows nothing. festively benevolent. preferable to vegetables.

@koofr Slovenia

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@Kami
Tomaz Muraus Kami
Dogs, code, distributed systems, open source.

SentinelOne | Previously: Scalyr, Extreme Networks, Brocade, StackStorm, Rackspace, etc. Ljubljana, Slovenia

@bancek
Luka Zakrajšek bancek

Ljubljana, Slovenia

@SimonCigoj
SimonCigoj

Arctur d.o.o.

@HairyFotr
HairyFotr
Not posting code here at the moment.
@anze3db
Anže Pečar anze3db
I write code and surf waves 🏄‍♂️