Skip to content
View amahboubi's full-sized avatar
31 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@math-comp

Block or report amahboubi

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
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@oebelus
Oebelus oebelus
Just making stuff ^_^
@nmvdw
Niels van der Weide nmvdw
@thamugadi
aramya thamugadi
@karel-brinda
Karel Břinda karel-brinda
Bioinformatics, Algorithms, Genomics, Pathogens, Rapid Diagnostics, and Antibiotic Resistance

𝐈𝐍𝐑𝐈𝐀🇫🇷 Nat. Inst. for DigitSci & Tech Rennes, France

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@hoheinzollern
Alessandro Bruni hoheinzollern
@fverse
fverse
@SeshatCZ
SeshatCZ

Czech republic

@Tvallejos
Tomas Vallejos Tvallejos

Nantes, France

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@noamz
noamz
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@d3v3l0
d3v3l0

Munich

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@rigille
Rígille S. B. Menezes rigille
So I'm just trying to learn some things and have fun

Mixrank Vitória, Brasil

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@soraros
soraros
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@jcommelin
Johan Commelin jcommelin

— —

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@takasimiz
Satoru "Con" Takasimizu takasimiz
A con engineer.

Tashirojima

@VHarisop
Vasilis Charisopoulos VHarisop

University of Chicago Chicago, IL

@smimram
Samuel Mimram smimram
@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Inria Paris

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@huitseeker
François Garillot huitseeker
Dabbling with streams & distributed data in close proximity to ☕.

4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke