Skip to content
View cpitclaudel's full-sized avatar

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
@Saransh-cpp
Saransh Chopra Saransh-cpp
RSEing @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

@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@alxkm
Alex Klymenko alxkm
Software Engineer specializing in Java and Spring, with a keen interest in computer science and ml
@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

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast. Haskell & Clojure λ

Ardoq Oslo, Norway

@oskar-codes
Oskar Codes oskar-codes
I'm a 19 years old amateur front-end web developer, with interest in HTML/CSS/JavaScript, VueJS, Vite, Firebase and many others.

Artridge Zürich

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.

ShanghaiTech University

@biererd
Daniel Bierer biererd

Statistisches Amt des Kantons Zürich Zürich

@SpoonJoon
SpoonJoon

Nonsan~New York

@SamBachmann
Samuel Bachmann SamBachmann
BSc student of Computer Science @ EPFL

EPFL Lausanne, Switzerland

@irisma00
Iris Ma irisma00
I am a PhD student in Software Engineering at UC Irvine

UC Irvine

@SaturneV
Arthur Muster SaturneV
I like things

École Polytechnique Fédérale de Lausanne Switzerland

@ledondodo
Arthur Chansel ledondodo
🇨🇭 EPFL student

EPFL

@gleachkr
Graham Leach-Krouse gleachkr

Draper Laboratory Arlington, Massachusetts

@bhargavkulk
Bhargav Kulkarni bhargavkulk
Ph.D. Student @ University of Utah

Salt Lake City

@ming-make
Ming ming-make
First-year master @ ICT, CAS.

University of Chinese Academy of Sciences Peking

@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@dhairyashah1
Dhairya Shah dhairyashah1
Embedded & Mobile Systems | Wireless | Networks | Electronics

@weiserlab @espressif @SRA-VJTI Singapore

@Iktomist
amb Iktomist
Currently working on music-theoretic iPhone and Android apps for the use of musicians and composers
@Ei30metry
Artin Ghasivand Ei30metry
Programming language theory enthusiast.
@ahuoguo
ahuoguo ahuoguo
Alexander Bai

Tufts University

@ywkim
Youngwook Kim ywkim
CEO at @algorima, navigating AI. Emacs enthusiast, passionate about language models, reinforcement learning, and edtech. Fostering creativity, inspiring others.

Algorima Inc. Korea

@jiawenliu
jiawenliu jiawenliu

Boston University Boston

@harveyrandall
Harvey harveyrandall
Frontend React Developer

No Isolation London

@alex-chew
Alex Chew alex-chew

@AWS Seattle, WA

@hamzaremmal
Hamza Remmal hamzaremmal
MSc Student @epfl and Research Assistant @lampepfl. Maintainer of the @scala programming language.

EPFL - @scala - @lampepfl Lausanne, Switzerland

@natsukagami
Natsu Kagami natsukagami
PhD @ EPFL, Switzerland.

Lausanne, Switzerland

@mbovel
Matt Bovel mbovel
PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.

EPFL Lausanne, Switzerland

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@laertjansen
Laert Jansen laertjansen
Virtual worlds, interactions, and tangible prototypes primarily with Unreal Engine, 3D software, TouchDesigner, Arduino boards, and electronic components.

Seoul