Skip to content
View charguer's full-sized avatar
42 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report charguer

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
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

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

Xanadu Canada

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

Lab. IRIT, Univ. Toulouse Toulouse, France

@shhyou
shuhung shhyou

Taipei, Taiwan

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@thisisamna
AMNA thisisamna
I do things
@noods78
NvisionTechs noods78

Nvisiontechs Boston, Ma

@yawen-guan
Miya (Yawen Guan) yawen-guan

Switzerland

@valoran-M
Valoran valoran-M
Ocaml <3
@start974
Jeremy Damour start974

Paris

@felko
felko
@GeoffreyHuck
Geoffrey Huck GeoffreyHuck
Former software engineer turned Public Speaking Coach.

GEOT France

@SeshatCZ
SeshatCZ

Czech republic

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

INRIA Saclay Saclay

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

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

@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@lengyijun
lyj lengyijun

SJTU China Shanghai

@d3v3l0
d3v3l0

Munich

@tbrk
Timothy Bourke tbrk

Inria Paris

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@amir
Amir M. Saeid amir

Dublin, Ireland

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

https://tonstudio.io Dubai

@banacorn
Ting-gian LUA banacorn
Into CS, maths, and linguistics.

Taipei, Taiwan

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

Draper Boston

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

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

Formal Land Paris

@vincent-manuceau
Vincent Manuceau vincent-manuceau
FullStack Dev @ MisterTemp - Independent Researcher ORCID: 0000-0003-3425-8459

@mistertemp Paris

@LouGlzHuesca
Lourdes Glz Huesca LouGlzHuesca

F.Ciencias UNAM Mexico City

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

CISPA Helmholtz Center for Information Security Saarbrücken

@ghuysmans
ghuysmans

Belgium

@radeusgd
Radosław Waśko radeusgd
Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.

Poland

@lulzsec67
Lucien Vieillard-Baron lulzsec67
Studying at CentraleSupélec, near Paris.
@co-dan
Daniel Frumin co-dan

Groningen

@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@mariojppereira
mariojppereira
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@hammer
Jeff Hammerbacher hammer
@mbouaziz
Mehdi Bouaziz mbouaziz

@SkipLabs Lille

@michaelsproul
Michael Sproul michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.

@sigp Sydney, Australia

@dkrustev
Dimitur Krustev dkrustev