Skip to content
View adamgundry's full-sized avatar
103 followers · 0 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx4

Organizations

@haskell @well-typed

Block or report adamgundry

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
@PhysShell
PhysShell
@plumenator
Karthik Ravikanti plumenator

Singapore

@onatustun
Onat Ustun onatustun

Aberdeen, UK

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@nsrknth
nsrknth
@SeshatCZ
SeshatCZ

Czech republic

@Neustradamus
Neustradamus Neustradamus
@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Ace Talent Community

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@ysangkok
Janus Troelsen ysangkok
Looking for a job
@foreverLoveWisdom
Tien Do foreverLoveWisdom
🧑 Simple and Pragmatic Human Being

Ho Chi Minh, Viet Nam

@Citizen2028
Keyth M Citizen Citizen2028

Powered By Citizen

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@asadoll
Asad. Gharighi asadoll
@ejconlon
Eric Conlon ejconlon

west coast

@tonyday567
Tony Day tonyday567

magan-djin

@aniketd
Aniket Deshpande aniketd
In search of precision and grace... @input-output-hk @IntersectMBO @fpco @xebialabs-community

@input-output-hk Earth

@arthurdoomer
Arthur Doomer arthurdoomer

Teresina, Brasil

@DanielRrr
Daniel Rogozin DanielRrr
Algebraic & modal logic and category theory

Noeon Research Chiswick

@jorisdral
Joris Dral jorisdral
Remote Haskell Consultant

Well-Typed LLP The Netherlands

@beamiter
beamiter
I'm cool
@beike-zh
beike-zh
@derekmahar
Derek Mahar derekmahar
Software Developer, amateur Data Scientist, Machine Learning enthusiast, and cryptocurrency fan.

Montreal, Quebec, Canada

@minatofr
minato minatofr
@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@salimp2009
Salim Pamukcu salimp2009
C++ , Rust , Haskell, Back to C++ Lord of the Rings 🚀🚀

life time student

@sarutobi-kirin
sarutobi-kirin
@etherz10
Kieron Etherington etherz10
Cloud Infrastructure Manager

@iconnect Brighton, UK

@velveteer
Josh Miller velveteer

H-E-B San Antonio

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@zfogg
Zachary Fogg zfogg
🔊 writes 🎶 code for 🐨robots and music ✨ for❣️ you 🤖; i did @TerrapinHackers + @bitcamp 🐢 + @joopal

@joopal @mixmob Washington, DC

@alanStocco
Alan Stocco alanStocco
Software engineer - Bitcoiner . Pelegrin Fields: Editorial , Bank Crm, Responsive Website
@mmhat
Mann mit Hut mmhat
@gmtcrary
George Takumi Crary gmtcrary
Portland Oregon, USA

WARN Industries, Inc. Portland, OR

@markmark1
markmark1
@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@visortelle
Kiryl Valkovich visortelle

Poland

@AriFordsham
AriFordsham

Gateshead, near Newcastle-Upon-Tyne, United Kingdom

@atopuzov
Aleksandar Topuzović atopuzov
...

Aleksandar Topuzovic Zagreb, Croatia

@justStarNew
justStarNew
@marinelli
Giorgio Marinelli marinelli

@scrive Italy

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@221V
Taras 221V
🇺🇦 Erlang ❤️ Zig

Earth

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@Kazark
Keith Pinson Kazark
In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.

Undisclosed

@mcwitt
Matt Wittmann mcwitt

Berkeley, CA USA