Skip to content
View kmicklas's full-sized avatar
36 followers · 21 following

Organizations

@haskell-beam

Block or report kmicklas

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
@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@petr-tik
petr-tik

London

@AhoyISki
ahoyiski AhoyISki

Votorantim, São Paulo, Brazil

@ezrosent
Eli Rosenthal ezrosent
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@sarthakbagaria
Sarthak Bagaria sarthakbagaria
Quant. Internet Entrepreneur. Maths at Cambridge, Physics at IIT Bombay. Enthusiast photographer, video-gamer, cook, traveler. Anime/manga fan.

London

@jfaure
James Faure jfaure

Divonne

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@414owen
Owen Shepherd 414owen

@dottxt-ai Ireland

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-io New York, NY, USA

@Jasleen1
Jasleen1
@5HT
Максим Сохацький 5HT
Мандрівний художник

@arvo-computer Kyiv, Ukraine

@tiye
题叶 tiye
Cirru Calcit Maintainer.

Shanghai, China

@wetmore
Matthew Wetmore wetmore

Philadelphia/New York

@wbernoudy
William Bernoudy wbernoudy

@dwavesystems

@littledannyha
Dan Haugh littledannyha
@joshlf
Joshua Liebow-Feeser joshlf

@google San Francisco, CA

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York