Skip to content
View davidrusu's full-sized avatar

Organizations

@RoosterEngine @hermits-grove @rust-crdt

Block or report davidrusu

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
@trizen
Daniel Șuteu trizen
Interested in programming language design, computational number theory and data compression.
@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@RolandSherwin
RolandSherwin

@maidsafe India

@andysalerno
Andy Salerno andysalerno
𝄞𝄁♫♩𝄇

Microsoft

@jart
Justine Tunney jart

Google Mountain View, CA

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@konnov
igor@konnov.phd konnov
Independent Research Scientist in Security and Formal Verification

konnov.phd Vienna, Austria

@hirrolot
hirrolot
At any cost, but for free
@phiresky
phiresky
Fan of FOSS.

Germany

@jobtalle
Job Talle jobtalle
Interested in art & algorithms

Groningen, The Netherlands

@marc-shapiro
Marc Shapiro marc-shapiro

Inria & LIP6 Paris (France)

@kousun12
Rob Cheung kousun12

brooklyn / oakland

@antemons
Daniel Vorberg antemons
Researcher and deep learning enthusiast.

Wandelbots Dresden, Germany

@danuker
Dan Haiduc danuker

Timișoara, Romania

@LinusCDE
Linus K. LinusCDE
Linux lover who also dabbles in low level apis and embedded stuff. Currently has a crush on Rust. Also addicted to containers (mainly docker) and self hosting.

/usr/share/loc/germany/lower_saxony

@hecrj
Héctor hecrj
I play code and write games.

Barcelona

@adamnemecek
adamnemecek
traceoid.ai

traceoid.ai Los Angeles, Prague

@davidkellis
David Ellis davidkellis
Just a regular guy.

San Antonio, TX

@DaveAckley
Dave Ackley DaveAckley
The universe exists. Reality is up to us. /\ We are coders. We ship code. /\ We are players. We play games.

Living Computation Foundation Earth

@minexew
Minexew minexew

Czech Republic

@MichaelViveros
Mike Viveros MichaelViveros

Shopify Toronto, ON, Canada

@WillHogan
Will Hogan WillHogan

@MountainViewTech Toronto, Canada

@corazza
Jan Corazza corazza

Dortmund, Germany // Zagreb, Croatia

@xldenis
Xavier Denis xldenis
formal verification hacker