Skip to content
View mrkgnao's full-sized avatar
206 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.

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
@riz0id
jake riz0id

Texas

@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@buggymcbugfix
Vilem Liepelt buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ

University of Kent Nowhere

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

Aarhus

@graydon
Graydon Hoare graydon

Vancouver, BC

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@mitchellwrosen
Mitchell Dalvi Rosen mitchellwrosen

@unison Somerville, MA

@noncomputable
Andrew noncomputable
Computational Social Science and Drug Discovery. Wondering how to improve social systems and prevent disasters.

NY

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
@PeridexisErrant
Peridexis Errant PeridexisErrant

Australia

@freuk
Valentin Reis freuk
HPC, ML, Functional Programming

Groq Austin, TX

@tranma
Tran Ma tranma
@prettydiff
Austin Cheney prettydiff
US Army Warrant Officer

Dallas / Fort Worth

@gebner
Gabriel Ebner gebner

Microsoft Research Seattle, Wash.

@bnagy
Ben Nagy bnagy
@modernserf
Justin Falcone modernserf
🍕+ 🐹🐹 + 𝛌

Brooklyn, NY

@simonpj
Simon Peyton Jones simonpj

Epic Games

@kai-qu
kai kai-qu
@jxv
Joe Vargas jxv
@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@nikita-volkov
Nikita Volkov nikita-volkov
Expert-level Haskell and Rust consultant.

codemine.io Moscow, Russia

@analyticascent
Amara's Law analyticascent
Do something better or do something different 💡

A rotating array of Wifi hotspots

@alicemaz
alice maz alicemaz

austin tx

@patrickt
Patrick Thomson patrickt
Te occidere possuntque te edere possunt; licit est.

Queens, NYC

@srid
Sridhar Ratnakumar srid
I enjoy Haskell.

@juspay Quebec City, QC

@shubheksha
Shubheksha shubheksha
I love computers.

London, England

@dmjio
David M. Johnson dmjio
Pioneering Haskell native mobile 🍜 📱
@treeowl
David Feuer treeowl
@abooij
Auke Booij abooij
@nboldi
Boldizsár Németh nboldi
@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@stedolan
Stephen Dolan stedolan
@kammitama5
kammitama5
just a functional girl..in a functional world :) PhD 🍬date. Mostly at the intersection of 💻 & Pure Math (Arith. Geometry + Alg. Graph Theory) + Quantum.

University of Vermont Ganymede

@domenkozar
Domen Kožar domenkozar
Instilling sanity into building and distribution of software.

@cachix Lanzarote, Canary Islands

@alexandroid000
Alli Nilles alexandroid000
https://mrrp.cs.wwu.edu
@pookleblinky
pookleblinky pookleblinky
@abo-abo
Oleh Krehel abo-abo

@wavemm Matosinhos, Portugal

@Lysxia
Xia Li-yao Lysxia
@lambdageek
Aleksey Kliger (λgeek) lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

@Microsoft Boston, MA

@begriffs
Joe Nelson begriffs
New projects live at https://dev.begriffs.com

Minneapolis

@dlicata335
Dan Licata dlicata335
@jtobin
Jared Tobin jtobin

Dubai, UAE

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

Positron AI Farmington Hills, MI

@anniecherk
Annie Cherkaev anniecherk
@antalsz
Antal Spector-Zabusky antalsz
I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.

@rigetti Brooklyn, NY

@mjhopkins
Mark Hopkins mjhopkins
Functional programming, mathematics

Sydney