Skip to content
View rakista's full-sized avatar
1 follower · 11 following

Block or report rakista

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
@vladmandic
Vladimir Mandic vladmandic

Miami, Florida

@pop-os
Pop!_OS pop-os
An Operating System by System76
@xtonousou
Sotirios Roussis xtonousou
🖧 Systems 🕸️ Networks 🟣 CyberSec ♾️ DevOps 💻 Full-Stack Developer

@Synapsecom @infrawork-io Athens, Greece

@oobabooga
oobabooga
@SphereII
SphereII SphereII

SphereII Software

@DavidMoore
David Moore DavidMoore

Robo Kiwi New Zealand

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@eleanorlutz
Eleanor Lutz eleanorlutz
Information designer. Excited about maps, emoji, and indoor plants.

De Volkskrant Netherlands

@dododas
Raibatak Das dododas

Seattle, WA, USA

@dooglus
Chris Moore dooglus

Canada

@Dan-Piker
Daniel Piker Dan-Piker

London