Skip to content
View thpani's full-sized avatar
🦚
🦚
32 followers · 5 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@apalache-mc

Block or report thpani

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
@chaitanya44444
Chaitanya Vaswani chaitanya44444
@konnov
igor@konnov.phd konnov
Independent Research Scientist in Security and Formal Verification

konnov.phd Vienna, Austria

@BitMorphX
BitMorphX BitMorphX
"I morph bits, not to break, but to understand." — BitMorphX ©

Satoshi's Left Hand EARTH 🌐 255.255.255.255 ̵͎̪̉̓̀̄̔͛̊̇̀ ̶̥͇̯͇̃̍͊͐͛Q̷̱͂̈́̈͆̚͜U̷̢̧͕͈̖̫̠̤̜̼̦͈̻̲̩͔̓͆͒ͅA̸̹͂͑̈́̆̿̈́̈́̏͆̈́̊̾͂̈́̈́̒͑͘N̴̛̘̩̺͎̲̥̏͆̈͛̂̂̎̂̀̚̕͝͝ͅT̷̡̲̦̲͔͎͔̞̞̹̞̯̰̉͊̈́͒͑́͂Ũ̴̱̉̐̿M̸̨̢̟̲͍͔̮̝̀̅̃̌͆̅̾͑͆̈̾

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

Texas

@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@EA0000
EA0000
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

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

Denver, CO

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@denu5
Robert Denus denu5

Zürich

@anataliocs
Chris Anatalio anataliocs
@Polkadot-Blockchain-Academy cohort 7 Bali Ex @stellar Ex @Consensys @LinkedInLearning and Pluralsight Content Author. @Developer-DAO #4727

Portland, OR

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

@NeonGamerBot

@DeonOdiin
DeonOdiin
@johnletey
John Letey johnletey
CTO @ Noble

@noble-assets Germany

@bionicles
bion howard bionicles

Hilton Head Island, South Carolina

@tridelt
Tridelt tridelt
@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@philtruing
philtruing philtruing
@RougeThirteen
RougeThirteen
@bugarela
Gabriela Moreira bugarela
Research Engineer at @informalsystems working on Quint

@informalsystems Joinville, SC - Brazil

@dangush
Daniel Gushchyan dangush
engineer @informalsystems cycles.money
@romac
Romain Ruetschi romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

Lausanne, Switzerland

@lechnerio
Daniel Lechner lechnerio
I am kind of decent at programming and able to make money with my sideprojects ✌️

Vienna, Austria

@uttam13
uttam13
@AnandBhatUpb
Anand Bhat AnandBhatUpb
Java Developer

Berlin

@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

@andreas-holzer
Andreas Holzer andreas-holzer
@stefanproell
Stefan stefanproell
Research, Data and Databases, Web, Linux, Science, Funk, Soul, Jazz. Living in #Innsbruck

Innsbruck, Austria

@cheshire
George Karpenkov cheshire

@google