Skip to content
View dmalikov's full-sized avatar
🥞
!
🥞
!
187 followers · 34 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@biegunka @Anna-Rx

Block or report dmalikov

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
@koenigskraut
koenigskraut
@Weij33t
Nikita Bichenov Weij33t
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@anjapetkovic
Anja Petković Komel anjapetkovic
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@k0001
k0001 k0001
@glguy
Eric Mertens glguy
@neongreen
Emily neongreen

@monadfix, @brickdo, @flolet Warsaw, Poland

@ppetr
Petr ppetr
@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

Austin, TX

@mstksg
Justin Le mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@Anduril Orange, CA

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using OCaml

Bloomberg London, UK

@martin-kolinek
martin-kolinek

Bratislava, Slovakia

@gasche
Gabriel Scherer gasche
@mortberg
Anders Mörtberg mortberg

Sweden

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@quchen
David Luposchainsky quchen
Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.

Germany

@alexbiehl
Alexander Biehl alexbiehl
Functional programming enthusiast.

Freelancer Hamburg, Germany

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@edwinb
Edwin Brady edwinb
@raichoo
raichoo raichoo
Software developer at antei in Bielefeld

antei Bielefeld

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@lambdaterm
Alexander Karpich lambdaterm
@pigworker
Conor McBride pigworker

Glasgow

@oxij
Jan Malakhovski oxij
Trying to make useful things to adhere to the KISS principle.
@Saizan
Andrea Vezzosi Saizan
@co-dan
Daniel Frumin co-dan

Groningen

@ehird
Elliott Hird ehird
@ocharles
Ollie Charles ocharles

CircuitHub London

@copumpkin
Daniel Peebles copumpkin

Washington

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@supki
Matvey Aksenov supki
Chief Spontaneous Combustion Officer. Vim, Haskell, Nix; mouse-free for 60 years.

Gorgoroth, Mordor

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

Positron AI Farmington Hills, MI