Skip to content
View alvasvagy's full-sized avatar
2 followers · 49 following

Block or report alvasvagy

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

@astral-sh
Astral astral-sh
High-performance developer tools for the Python ecosystem.

United States of America

@AlexWaygood
Alex Waygood AlexWaygood
Pythonista 🐍 and Rustacean 🦀. CPython core dev; also a maintainer of ty, ruff, typeshed, typing_extensions and flake8-pyi.

@openai Manchester, UK

@zakarumych
Zakarum zakarumych
@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@serkni
zakat196 serkni
@scala-steward-org
Scala Steward scala-steward-org

Germany

@teorth
teorth
@niklasf
Niklas Fiekas niklasf

Germany

@ThePhD
The Phantom Derpstorm ThePhD
C, C++, C#, Rust, and OCaml to keep some sanity. TypeScript when necessary. God Save Me.

Münglass

@rib
Robert Bragg rib
🦀 Systems Programmer, Rustacean ‎‍💼 Embark Studios, Intel, Impossible, OpenedHand, IMG Tech 💖 AI, ML, VR, GPU Graphics, MoCap 🛠️ Founder of RealFit VR

@realfitvr UK

@flanfly
Kai Michaelis flanfly
Money for nothin' & the chicks for free.

@binarly-io, @open-source-firmware, @das-labor Kuala Lumpur, Malaysia

@Geal
Geoffroy Couprie Geal

Nantes, France

@asibahi
عبد الرحمن صباهي asibahi
Bored architect. Code as a hobby.
@mitnk
Hugo Wang mitnk

Beijing, China

@meh
meh. meh
Never compromise, not even in the face of Armageddon.

Berlin

@teohhanhui
Teoh Han Hui teohhanhui
I'm looking for a job in @rust-lang 🦀 Formerly worked on @api-platform

Kuala Lumpur, Malaysia

@servo
Servo servo
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

@nicoburns
Nico Burns nicoburns

United Kingdom

@emilk
Emil Ernerfeldt emilk
Rust coder, creator of egui, CTO of rerun.io

Rerun.io, egui Stockholm, Sweden

@ornicar
Thibault Duplessis ornicar
Maker of lichess.org, a gay hippie communist chess server for drug fueled transgender atheists.

lichess.org France

@lenguyenthanh
Thanh Le lenguyenthanh
An avid monadic programmer who loves chess and open source. Work by day, @lichess-org by night or day. Opinions are from my own (but illusional) free will.

@lichess-org / @recordedfuture Gothenburg, Sweden

@seanmonstar
Sean McArthur seanmonstar
Independent maintainer of @hyperium, @tower-rs, and other 🦀 Rust networking libraries.
@He-Pin
He-Pin(kerr) He-Pin
冲冲冲, Akka/Pekko/Netty/Rust/Scala

USA

@Gabriella439
gabby Gabriella439

San Jose, CA

@armanbilge
Arman Bilge armanbilge
Executive Director of @typelevel Foundation. (Distracted) computational evolutionary biologist. I write Scala, read DNA, and speak in conditional probabilities.

@typelevel Seattle, Washington

@aripiprazole
gabrielle oliveira aripiprazole
atypical antipsychotic (as a software engineer)

são paulo, brasil

@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@mattnite
Matt Knight mattnite
Working on embedded systems in Zig. Personal work is now found at https://codeberg.org/mattnite

@zscaler Coquitlam, BC, Canada

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@fython
Siubeng fython

Guangzhou

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@FernandoChu
Fernando Chu FernandoChu
Math, logic and programming, I like them all the same.

Utrecht, Netherlands

@sharkdp
David Peter sharkdp

@openai Stuttgart, Germany

@0xricksanchez
434b 0xricksanchez
I don't really know what I'm doing anyway.
@alfarom256
alfarom256 alfarom256
@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@cesanta
Cesanta Software cesanta
Embedded Communication

Dublin, Ireland

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@plt-amy
Amélia Liao plt-amy
Homotopy type theorist ✨

Brazil

@bnjbvr
Benjamin Bouvier bnjbvr
Developer at @element-hq. Previously at @element-hq, previously at @EmbarkStudios, previously @mozilla. Maintainer of @kresusapp.

Brittany, France

@Hejsil
Komari Spaghetti Hejsil
Makes computers go brrrrr

Celadon City

@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers.

London

@kayvank
Kayvan ≅ کیوان kayvank
developer, mostly in haskell, rust and nix

q2io 127.0.0.1

@dccsillag
Daniel Csillag dccsillag
Applied mathematician working on machine learning, statistics and compilers.
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI