Skip to content
View buggymcbugfix's full-sized avatar
53 followers · 12 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Organizations

@camfort @granule-project

Block or report buggymcbugfix

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
@motanelson
nelson jr mota motanelson
Get the best of git

https://youtube.com/@nelsonmotamota-e5j Portugal, lisbon

@emilycodestar
Emily 💞 emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@malwaaare
Mallory Bedwell malwaaare

Atlanta, GA

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@madgen
Mistral Contrastin madgen

Meta /dev/null

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@9Sefa9
Sefa 9Sefa9
Applied Computer Scientist - Software and Game Developer - Software Engineer - Full-Stack lover <3

Software Engineer @ Lanxess Germany

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@juliankrispel
Julian Krispel juliankrispel
📝 Consultant building text interfaces and note-taking apps. Get in touch if you want to talk about a project 👍

jkrsp United Kingdom

@jezen
Jezen Thomas jezen
CTO @ Supercede

Supercede Warsaw, Poland

@d3v3l0
d3v3l0

Munich

@danieljharvey
Daniel Harvey danieljharvey
This is the thing I haven't given up on yet.

London

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

@kowainik London

@bolt12
Armando Santos bolt12

@well-typed Portugal - Braga

@googleson78
Georgi Lyubenov googleson78

@tripshot

@lunswor
Lee Unsworth lunswor
@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@disconcision
andrew blinn disconcision
PL 😘 UI

@hazelgrove @fplab

@mrkgnao
Soham Chowdhury mrkgnao
@Gvantsats
Gvantsa Tsutskhashvili Gvantsats

@Google Warsaw, Poland

@JustusAdam
Justus Adam JustusAdam
PhD student working on systems for privacy and security.

@brownsys Providence, RI

@bbyalcinkaya
Burak Bilge Yalçınkaya bbyalcinkaya

@runtimeverification Turkey

@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@mbautin
Mikhail Bautin mbautin
YugabyteDB is the distributed SQL database for modern apps! https://github.com/yugabyte/yugabyte-db

@Yugabyte

@jubilatious1
jubilatious1
@gdijkstra
Gabe Dijkstra gdijkstra
@mytxd
尹名洋 mytxd
Haskeller
@ioanluca
Ioan Luca ioanluca

London, UK and Bucharest, RO

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

Undisclosed

@silky
Noon van der Silk silky
ن

Edinburgh, UK

@mattaudesse
Matt Audesse mattaudesse

The Black Screen LLC Maine, USA

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Lysxia
Xia Li-yao Lysxia
@arendsee
Zebulun Arendsee arendsee
OK, let's get started

my shell

@Edward-Knight
Edward Knight Edward-Knight
@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@Acentelles
Alberto Centelles Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.

London

@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

@bturrubiates
Ben Turrubiates bturrubiates

San Francisco Bay Area

@neo4reo
Dennis M Senyonjo neo4reo

Renesas Mobile Denmark

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

gadigal land/sydney

@dtseng123
Darren Tseng dtseng123

London

@faineance
Anthony Sheldon faineance