Skip to content
View CohenCyril's full-sized avatar
83 followers · 43 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@math-comp

Block or report CohenCyril

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
@Justme0606
Sylvain Borgogno Justme0606

Inria - SED Sophia-Antipolis

@Zhang-Liao
Zhang-Liao Zhang-Liao
@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

@OChicken
Shouran MA OChicken
A PhD student at LTH Lund

LTH Lund Lund, Sweden

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@dee-me-tree-or-love
Mitja O dee-me-tree-or-love
👋 Hello there! | PhD candidate @ UvA | Open-source engineer
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@Connor9994
Connor Connor9994
@nniinnoo
Nino Tannio nniinnoo

Université de Toulouse Toulouse, France

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@albamath
Alba albamath
Mathematician and computer scientist.
@ABDELLATIF-Ramla
Ramla ABDELLATIF ABDELLATIF-Ramla
@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

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@wrsturgeon
Will Sturgeon wrsturgeon
CS+CogSci @ UPenn

University of Pennsylvania Los Angeles, CA

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@The-busy-man
The-busy-man
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@SeshatCZ
SeshatCZ

Czech republic

@Yu-zh
Yu Zhang Yu-zh

Yale University New Haven, CT

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@hoheinzollern
Alessandro Bruni hoheinzollern
@amir
Amir M. Saeid amir

Dublin, Ireland

@dimlev
dimlev

@UNITEDONLINESA Greece

@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

@lattice0
Lattice 0 lattice0
rust, kernels, virtualization. ad35661031be2c0d53deacee28d40a87f1d82f1c7698f58ae2bd61c60b8ad092
@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@isnullxbh
Oleg E. Vorobiov isnullxbh
Software Engineer
@simhu
Simon Huber simhu
@teto
Matthieu Coudron teto

/nix/store/candies

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@start974
Jeremy Damour start974

Paris

@jnarboux
Julien Narboux jnarboux

Université Paris Cité Paris

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

Tsinghua University Beijing

@sternenseemann
sternenseemann
@vbgl
Vincent Laporte vbgl
@damooo
దామోదర damooo
@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@ccianos
Charles Cianos (Charlie) ccianos
Wassup friends! I'm Charlie a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Working Class, the Poor and the Homeless matter.

Hagginwood, Sacramento, CA

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@WojciechKarpiel
WojciechKarpiel
JA LUBIE WOLMO

Kraków

@d3v3l0
d3v3l0

Munich

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

Mixrank Vitória, Brasil

@nau
Alexander Nemish nau
Former engineer @ IOG, developed Marlowe. Blockchains, FP and programming languages enthusiast, musician, skydiver and more.

@input-output-hk France