Skip to content
View Avi-D-coder's full-sized avatar
☕
☕
61 followers · 18 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report Avi-D-coder

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
@yourbuddyconner
Conner Swann yourbuddyconner
Building Bridges in the Metaverse

San Francisco

@thealmarty
Marty Stumpf thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.

BC, Canada

@s-arash
Arash Sahebolamri s-arash

Fortanix Sunnyvale, CA

@cspr-rad
Casper Association R&D cspr-rad
Casper Association research & development

Switzerland

@ursi
Mason Mackaman ursi

Platonic.Systems

@shlevy
Shea Levy shlevy

Portsmouth, NH

@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of cows and such. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@cdsmith
Chris Smith cdsmith

Groq, Inc. Colorado Springs, CO

@jneira
Javier Neira jneira
Historician transmuted in programmer
@effectfully
effectfully
@fendor
fendor
@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@withoutboats
srrrse withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.

Berlin

@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

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@varkor
varkor varkor
Category theorist and Rust compiler developer.
@mpickering
Matthew Pickering mpickering

Well Typed LLP Sheffield, UK