8000 kyoDralliam (Kenji Maillard) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View kyoDralliam's full-sized avatar
47 followers · 2 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report kyoDralliam

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

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@NathanielB123
Nathaniel Burke NathanielB123
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

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

@NeonGamerBot

@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@fabaindaiz
Fabián Díaz fabaindaiz
Compilers | Backend | DevOps

Chile

@SeshatCZ
SeshatCZ

Czech republic

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@SwampertX
Tan Yee Jian SwampertX
Theoretical CS Research Masters (MPRI) student at École Polytechnique.
@smurphy8
smurphy8
@Tvallejos
Tomas Vallejos Tvallejos

Nantes, France

@scott-fleischman
Scott Fleischman scott-fleischman
@amir
Amir M. Saeid amir

Dublin, Ireland

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@jiangsy
Shengyi Jiang jiangsy
@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@simfleischman
Scott Fleischman simfleischman

SimSpace

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@ruza-net
Jan Ruzicka ruza-net

Hettas Czech Republic

@vu3jej
vu3jej
@ontomaquia
mala ontomaquia
@noamz
noamz
@theolaurent
Théo Laurent theolaurent

Paris

@PabloReszczynski
Pablo Reszczynski PabloReszczynski

Santiago, Chile

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@soraros
soraros
@molodiuc
Veaceslav Petru Molodiuc molodiuc

LoculoSoft

@francoisthire
FrançoisT francoisthire

Nomadic Labs Paris

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

INRIA Saclay Saclay

@haselwarter
Philipp G. Haselwarter haselwarter
Researcher in programming languages, logic, cryptography.

Aarhus University

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@typesAreSpaces
Jose Abel Castellanos Joo typesAreSpaces
@germanD
Germán Delbianco germanD
VIP baker concierge and clandestine ops // TechRel team @trilitech

Trilitech London

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

Singapore

@smimram
Samuel Mimram smimram
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@krpcannon
Keith Reilly Patrick Cannon krpcannon
ego sum panis vitae

New York City

@victor-dumitrescu
Victor Dumitrescu victor-dumitrescu

Nomadic Labs Paris, France

@LouGlzHuesca
Lourdes Glz Huesca LouGlzHuesca

F.Ciencias UNAM Mexico City

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@liuhuanjim013
Huan Liu liuhuanjim013
@ziyan
Ziyan Zhou ziyan

@mujin Tokyo, Japan

0