Skip to content
View mrkgnao's full-sized avatar
208 followers · 121 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report mrkgnao

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@pcapriotti
Paolo Capriotti pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Wire Fermo, Italy

@mpickering
Matthew Pickering mpickering

XBOW Sheffield, UK

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@schell
Schell Carl Scivally schell
Building tiny pieces of the coming mechanocracy.

@Electric-Coin-Company Pasadena, California and Nelson, New Zealand

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@cartazio
Carter Tazio Schonwald cartazio

wellposed.com NYC, USA

@LightAndLight
Isaac Elliott LightAndLight

Australia

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, 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

@mrakgr
Marko Grdinić mrakgr
@glaebhoerl
Gábor Lehel glaebhoerl
cat, also crow

Hungary

@lspitzner
Lennart Spitzner lspitzner
@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@Fuuzetsu
Mateusz Kowalczyk Fuuzetsu

@tsurucapital 福井県坂井市, Japan

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

University of Cambridge Cambridge, Cambridgeshire, UK

@taktoa
Remy Goldschmidt taktoa
Compiler guy

@MatX-inc /nix/store

@sgraf812
Sebastian Graf sgraf812

Karlsruhe, Germany

@m0nologuer
Sakunthala Panditharatne m0nologuer

Asteroid Technologies, Inc Mountain View, CA

@arrdem
Reid D. McKenzie arrdem

Denver, CO

@aisamanra
G. D. Ritter aisamanra
@justinwoo
Justin Woo justinwoo
@steinwaywhw
Steinway Wu steinwaywhw
PhD in Programming Languages

US

@LukaJCB
Luka Jacobowitz LukaJCB

New York

@jasondavies
Jason Davies jasondavies

London, UK

@adamgundry
Adam Gundry adamgundry

Well-Typed LLP @well-typed

@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@srhb
Sarah Brofeldt srhb

Denmark

@Marwes
Markus Westerlind Marwes

Stockholm

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@jonascarpay
Jonas Carpay jonascarpay

Tokyo

@emberian
emberian
a rustacean! a resident of lunar.town

@elide-dev USA

@ruuda
Ruud van Asseldonk ruuda

The Netherlands

@no-longer-on-githu-b
no longer on github no-longer-on-githu-b
no longer on github
@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@mawww
Maxime Coste mawww
@martanne
Marc André Tanner martanne
@tdietert
Thomas Dietert tdietert
Generalist Software Engineer & Functional Programming Enthusiast

Boulder, CO

@jship
Jason Shipman jship
@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

@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@kjhealy
Kieran Healy kjhealy
Sociology and other distractions.

Duke University NC

@lord
Bo lord
@pigworker
Conor McBride pigworker

Glasgow

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

Germany

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@jpaykin
Jennifer Paykin jpaykin
@RyanGlScott
Ryan Scott RyanGlScott
@5outh
Benjamin Kovach 5outh