Skip to content
View cpitclaudel's full-sized avatar
349 followers · 0 following

Achievements

Achievement: Starstruckx3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@flycheck @boogie-org @ProofGeneral @realgud @dafny-lang

Block or report cpitclaudel

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
@HaleOIC
Hale HaleOIC
Hi, I am hale yang, keen for discovering more things in Programming Language

Stockholm

@WiraTanjung79
Yasmin Unda WiraTanjung79
If you are looking for a reliable healthcare professional to be your partner in excellent care... You have found the right one! 👩🏻‍⚕️✨️

Channel Development Manager - Foodservice 14a Scout Borromeo St, Diliman, Quezon City, Metro Manila, PH

@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@monster0318
Full Stack Ninja monster0318
Senior Software Engineer | React, Vue, Angular | Python, Java, Ruby | Clean code, scalable systems, and real-world impact | Remote-first & always learning.
@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@JawherKl
Jawher Kl JawherKl
Software Engineer & Open Source Contributor

KPG Tunisia

@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

RPTU Kaiserslautern-Laundau Kaiserslautern

@jcailler
Julie Cailler jcailler

University of Lorraine Nancy

@samuelchassot
Samuel Chassot samuelchassot
Applied scientist intern @ Amazon (Dafny), Austin, TX // PhD student in Computer Science @ EPFL Switzerland

Amazon Austin, TX

@AkasakaJelos
AkasakaJelos AkasakaJelos
Random git repository

Switzerland

@Candicci
Candicci
@jiangsy
Shengyi Jiang jiangsy
@dobios
Amelia Dobis dobios
PhD Student at Princeton Universtiy | PL for Hardware | MSc ETHZ, BSc EPFL

Princeton University Philadelphia, PA, USA

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@dkapt
Dimitrios Kapetanios dkapt

Greece

@cr-eative-dev
< cr-eative-dev /> cr-eative-dev
Software Engineer @peaqnetwork • Rust / Solidity / Typescript • 3D Artist • Designer • @Polkadot-Blockchain-Academy #6 Lucerne Graduate • PBA-X Cohort #1 Alumni

@peaqnetwork

@nikhen-s
Nikhen nikhen-s
Computer Science Student @ University of Edinburgh & EPFL
@jinhuili-lab
Jinhui Li jinhuili-lab
PhD student. Focus on Bioinformatics and genomics.

Saint Louis University America

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@chenguokai
Xim chenguokai

EPFL Lausanne

@ahndmal
Andrii Maliuta ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding

AC Ukraine

@RizhongLin
Rizhong Lin RizhongLin
data science MSc student @EPFL-IC & research scholar @EPFLiGHT @epfml

@EPFLiGHT @epfml Lausanne, Switzerland

@Josh-Tilles
Josh Tilles Josh-Tilles
@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

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

@meta-introspector New Jersey

@nadaedh
nadaedh
@AndreiDuma
Andrei Duma AndreiDuma
Worked on cloud infrastructure & tooling at @google, @adobe and @CERN. Then I hand-assembled a FORTH interpreter for RISC-V. Currently studying Agda.

@unibuc-cs Romania

@wjc5197
wjc5197
@kevinlkoehler
kevinlkoehler@gmail.com kevinlkoehler
@rudynicolop
Rudy Peterson rudynicolop
@juliofleitas
Julio Fleitas juliofleitas
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@MilleniumSpark
MilleniumSpark
@shanyu-sys
Shan Yu shanyu-sys
Ph.D. student @uclasystem

UCLA Los Angeles

@sun-jacobi
Chia sun-jacobi
@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@AYUSHMIT
aapp AYUSHMIT

USA

@ismailIBNMAJAH
Ismail Ibn Majah ismailIBNMAJAH
student at epfl

Switzerland

@RustyCobalt36
Rusty RustyCobalt36
@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

@QuantumGhost
QuantumGhost QuantumGhost
Software Engineer

GPG: 0xB29A14086516184D CTU/CKG

@elazdi-al
elazdi-al
@Mw3y
Mαx Mw3y
I would love to change the world, but they won't give me the source code...

20 yo CS student @ EPFL (Switzerland) Toulouse, France

@Saransh-cpp
Saransh Chopra Saransh-cpp
Research Software Engineer @UCL-ARC | Open Science and Open Source enjoyer

@UCL-ARC, @UCL London, UK

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@nkrusch
Neea nkrusch

United States

@flaviopavim
Flávio Pavim flaviopavim
Skills with lot types of softwares: Web, Desktop, Mobile - Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino

WhiteHats

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

Xanadu Canada

@lhegetsc
Lionel Hegetschweiler lhegetsc
@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway