10000 AndrasKovacs (András Kovács) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View AndrasKovacs's full-sized avatar
501 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report AndrasKovacs

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
@mb64
Mark Barbone mb64
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@mortberg
Anders Mörtberg mortberg

Sweden

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

Aarhus

@divipp
divipp
@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@effectfully
effectfully
0