Skip to content
View ineol's full-sized avatar

Highlights

  • Pro

Block or report ineol

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
@salinhkuhn
kuhnsa salinhkuhn
ETH Zurich BsC student that likes LLVM compiler backends <3, formal verification and computational cancer biology :))
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@konjoinfinity
Wesley Scholl konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert

Washington, DC

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@moneshvenkul
Monesh Venkul Vommi moneshvenkul
🚀 Senior Full Stack Developer | Vue.js 🎨 React ⚛️ Angular 🅰️ Node.js 🌐 Python 🐍 Django | Java Spring Boot ☕ TypeScript 📜 SQL & NoSQL 💾 | Microservices

Capital One New Haven, Connecticut

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

Denver, CO

@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

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

@NeonGamerBot

@cumsoft
cumsoft cumsoft
CLT, XR & Hybrid Kernel Dev

cumsoft New York, NY

@rnollet
Rémi Nollet rnollet
Computer science and mathematics teacher. Ex-PhD student at IRIF (https://www.irif.fr/).

Université Paris Diderot France

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@MisterDA
Antonin Décimo MisterDA
↑↑↓↓←→←→BA

@tarides Paris, France

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@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

@AlexxNica
Alexandre Nicastro AlexxNica
Platforms • Ecosystems • Communities

@nikas-org

@angusshire
Angus H. angusshire

UC Berkeley Berkeley, CA