Skip to content
View oneofvalts's full-sized avatar

Highlights

  • Pro

Block or report oneofvalts

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
@jonathanmetzman
jonathanmetzman
Security engineer working on open source and Chrome security

Google

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@peterlefanulumsdaine
Peter LeFanu Lumsdaine peterlefanulumsdaine

Stockholm University Stockholm, Sweden

@IamMalinga
Malinga Samarakoon IamMalinga
💻 Computer Science Undergraduate | 🚀 Passionate about Web & App Development | 📊 Exploring AI, DevOps & Open Source | 🌱 Always Learning
@nstrmx
Den nstrmx
✉️ [email protected] | telegram: nstrmx
@marcan
Hector Martin marcan
If it ain't broke, I'll fix it!

Tokyo, Japan

@williamdemeo
William DeMeo williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist and total functional programmer (Agda, Lean, Python, Scala, Spark).

IO @input-output-hk Boulder, CO, USA

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@protesilaos
Protesilaos Stavrou protesilaos
At what point does a tinkerer become a programmer, provided no formal background in the latter?

Cyprus, European Union

@DavePearce
David Pearce DavePearce
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

ConsenSys New Zealand

@reilabs
Reilabs reilabs
We build software that others can't.
@mpenciak
Matej Penciak mpenciak

Reilabs New York City

@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. Lean and TypeScript hacker with 🍓 for crypto, math, P2P, agentic coding, open source

@zksecurity Vienna, Austria

@tcoratger
Thomas Coratger tcoratger
PhD in applied mathematics. Research at Ethereum Foundation.

Ethereum Foundation France

@dlubarov
Daniel Lubarov dlubarov
Working on Polygon Zero (formerly Mir). Previously Square, Google.

Polygon

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

Formal Land Paris

@0xMushow
0xMushow
Protocol Security Researcher @ethereum

@ethereum Tbilisi, Georgia

@YunkaiZhang233
Yunkai Zhang YunkaiZhang233
3rd Year Computing Student at Imperial College London

Imperial College London London

@josephwright
Joseph Wright josephwright
A chemist with an interest in typesetting. Member of The LaTeX Project (@latex3).

Ely, UK

@felixwellen
Felix Cherubini felixwellen

University of Gothenburg Gothenburg, Sweden

@jdchristensen
Dan Christensen jdchristensen

University of Western Ontario

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@msprotz
Jonathan Protzenko (defunct account, use @protz now) msprotz
Please use @protz from here on! This is a now-defunct account for my contributions as a Microsoft (MS) employee from 2014 to 2025.

Microsoft Redmond, WA

@logic-tools
Logic Tools logic-tools
NaDeA and other open source software for teaching logic

DTU Compute - Denmark

@gert-smolka
Gert Smolka gert-smolka

Saarland University Germany

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@rzach
Richard Zach rzach

University of Calgary Calgary

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@gitter-badger
The Gitter Badger gitter-badger

Gitter Safe in the Gitter den

@georgd
Georg Mayr-Duffner georgd

WU Vienna University of Economics and Business Vienna, Austria

@raphink
Raphaël Pinson raphink
Cilium Alchemist

@isovalent Lausanne, Switzerland

@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@theleagueof
The League of Moveable Type theleagueof
The first open-source font foundry
@lucyhorowitz
Lucy Horowitz lucyhorowitz
I'm a second year PhD student in logic @ UC Berkeley.

Berkeley, CA