Skip to content
View ppedrot's full-sized avatar
81 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@coq

Block or report ppedrot

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
@eust-w
longtao eust-w
Focus on AI !

Sol III

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Villetaneuse
Pierre Rousselin Villetaneuse
@dongchen-coder
Dong Chen dongchen-coder

University of Rochester

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

Xanadu Canada

@jp-diegidio
Julio Di Egidio jp-diegidio
Software Analyst Programmer / Process and Automation Consultant
@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@apples0226
apples0226
@Clownsw
Clownsw Clownsw
until you have.
@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@YuyanBao
Yuyan Bao YuyanBao

Augusta University United States

@start974
Jeremy Damour start974

Paris

@smimram
Samuel Mimram smimram
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@haansn08
haansn08
@erikmd
Erik Martin-Dorel erikmd
Maître de Conférences en Informatique (IRIT/UT3)

Lab. IRIT, Univ. Toulouse 3 Paul Sabatier Toulouse, France

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@SeshatCZ
SeshatCZ

Czech republic

@Thoth87
Thoth Thoth87
@DrRuisseau
Λ DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)
@tbrk
Timothy Bourke tbrk

Inria Paris

@beike-zh
beike-zh
@tlkahn
Leo tlkahn
This is the way. I have spoken.

Olympus Mons, Mars

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

Draper Boston

@soren-n
Søren Nørbæk soren-n

Denmark

@jaanli
Jaan Lı 李 PhD jaanli
Large language models for global health care; prev. @PrincetonUniversity @Phare-Health @google @google-deepmind

University of Tartu & @onefact Brooklyn

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

@coq-community Vietnam

@jiangsy
Shengyi Jiang jiangsy
@nikitavoloboev
Nikita nikitavoloboev
@ArtiskOnGit
Biloba ArtiskOnGit
Centrale Nantes student
@nobrowser
Ian Zimmerman nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
@dgfug
khigh dgfug
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@breandan
breandan breandan
Student

@mila-iqia Montréal, Québec, Canada

@Ares2013
Ares2013
@shaymardanow
shaymardanow
@rudynicolop
Rudy Peterson rudynicolop
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@honeyspoon
Abderahmane Bouziane honeyspoon

Montreal

@jota191
Juan García-Garland jota191
Functional programmer, proof writer, PL researcher in training, Free Software hacker. Proud user of the GNU Operating System.

Universidad de la República Canelones, Uruguay

@xlxs4
Orestis Ousoultzoglou xlxs4
Space Systems Analyst / SWE @ EMTECH SPACE S.A.

EMTech Space Marousi, Athens, Greece

@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@ayo-dele-akin
Ayodele ayo-dele-akin
Human
@ghuysmans
ghuysmans

Belgium

@dkrustev
Dimitur Krustev dkrustev
@amir
Amir M. Saeid amir

Dublin, Ireland