Skip to content
View zoep's full-sized avatar
Vibe proving
Vibe proving

Highlights

  • Pro

Organizations

@QuickChick @CertiRocq

Block or report zoep

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@gzanitti
Gastón Zanitti gzanitti
Ph.D. in CS (Universite Paris-Saclay). Compiler Engineer.
@opd-ai
opdai opd-ai
OPD-AI specializes in open-source tools for creative workers, with a focus on tabletop RPG content generation and Bitcoin-based paywall solutions.
@mnvvr
Münevver mnvvr
Product Designer
@mgiannopoulos24
mgiannopoulos24
Both the adversary and the defender.

digitalnest Greece

@leoath12
Software engineer google leoath12
Software engineer at google

Google La

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@peter-avg
Peter Avgerinos peter-avg
Currently Studying @ Imperial College London

London, UK

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@rei0023
(λx.x) "Reinaldo" rei0023
MSc Computer Science and Engineering student

Universidad Nacional Autonoma de Mexico (UNAM) Mexico City, Mexico

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@steve-anunknown
Stefanos Anagnostou steve-anunknown
Graduate of the School of Electrical and Computer Engineering of the National Technical University of Athens.
@anachrislv
Anastasia Christina Liva anachrislv
electrical & computer engineer

@grnet Athens, Greece

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@andreasstamos
Andreas Stamos andreasstamos
Graduate of Electrical and Computer Engineering at National Technical University of Athens
@SofieRazou
SofieRazou
ECE undergrad student at NTUA @ras.ntua
@petrosagg
Petros Angelatos petrosagg
Software Engineer at @MaterializeInc, former CTO of @balena-io

@MaterializeInc Athens, Greece

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Wanshuiquan
Heyang Li Wanshuiquan
1975年的夏天过去了,我很怀念它。 如果明天是最后一天,你会去做什么

VEB Waggonbau Görlitz Wernoigrode, Landkreis Harz

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@thamugadi
aramya thamugadi
moving to https://codeberg.org/aramya
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@solidityslayer
Alexis Bed solidityslayer
likes looking at github
@0xalpharush
alpharush 0xalpharush

@asymmetric-research

@Smit-create
Smit Lunagariya Smit-create
SWE @google | Ex-Intern @google, @gsitechnology, @scipy | GSoC '20 @sympy | Mathematics and Computing | IIT-BHU, Varanasi

Google San Francisco Bay Area

@ackintosh
Akihito Nakano ackintosh
A network programmer building Ethereum's consensus layer at Sigma Prime.

Japan

@johnrjj
John Johnson johnrjj
currently: vibing

@glider-fi SF

@emhane
Emilia Hane emhane
former ethereum core dev • professional experience in execution & consensus layer clients written in rust
@pankgeorg
Παναγιώτης Γεωργακόπουλος pankgeorg

@JuliaComputing Neo Psychiko, Athens, Greece

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

Formal Land Paris

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City