Skip to content
View kkrs's full-sized avatar
8 followers · 33 following

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report kkrs

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@JoeyEremondi
Joey Eremondi JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.

University of Regina Regina, Saskatchewan, Canada

@harendra-kumar
Harendra Kumar harendra-kumar
Haskell, pure functional programming

@composewell Bengaluru

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@cb372
Chris Birchall cb372
Principal/principled software engineer at 47 Degrees. Previously @ovotech, @guardian, @m3dev.

@47deg Bury St Edmunds, UK

@debasishg
Debasish Ghosh debasishg
Programmer at large. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy

Conviva India

@syamp
syam syamp
@lemmy
Markus Alexander Kuppe lemmy

@NVIDIA Redmond, USA

@kasiaMarek
Katarzyna Marek kasiaMarek
@davidchisnall
David Chisnall davidchisnall

SCI Semiconductor

@brendanfong
Brendan Fong brendanfong
@sylvanc
Sylvan Clebsch sylvanc

@Microsoft Austin, TX

@MaartenFaddegon
Maarten Faddegon MaartenFaddegon
Functional programmer

Copenhagen

@winitzki
Sergei Winitzki winitzki
Theoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages

Neuilly-sur-Seine, France

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@brendanhay
Brendan Hay brendanhay

Nelson, New Zealand

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@wpaxos
wpaxos
@senorcarbone
Paris Carbone senorcarbone
Lead Systems Researcher. Passionate about distributed computing systems. @apache Flink committer

KTH, RISE Stockholm

@patriot1burke
Bill Burke patriot1burke

Red Hat Massachusetts

@sparkprime
Dave Cunningham sparkprime

Google United Kingdom

@mwhittaker
Michael Whittaker mwhittaker
Software engineer at Google working on JAX

@google

@mdcallag
Mark Callaghan mdcallag
https://www.linkedin.com/in/mdcallag
@jvns
Julia Evans jvns
@sustrik
Martin Sustrik sustrik
Creator of ZeroMQ, nanomsg, libdill.

Zurich, Switzerland

@eliben
Eli Bendersky eliben

@google California

@jessfraz
Jess Frazelle jessfraz
A superhero with supervillain tendencies.

@KittyCAD PID 1

@ms705
Malte Schwarzkopf ms705
Distributed systems & OS research @brownsys & @mit-pdos.

@brownsys, @mit-pdos, @csci0300 Providence, RI, USA

@rs
Olivier Poitrey rs
Director of Engineering at Netflix Co-Founder & ex-CTO of Dailymotion Co-Founder of NextDNS

Netflix Silicon Valley, California, USA

@inconshreveable
Alan Shreve inconshreveable
@changbl
Changbin Liu changbl
@sears
Russell Sears sears
@matteobertozzi
Matteo Bertozzi matteobertozzi