Skip to content
View vityaman's full-sized avatar
😊
😊
102 followers · 293 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Organizations

@vityaman-edu @secs-dev

Block or report vityaman

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
@AmrDeveloper
Amr Hesham AmrDeveloper
Passionate about Compilers, Language design and Tools

Munich, Germany

@viperproject
Viper Project viperproject
Verification Infrastructure for Permission-​based Reasoning

ETH Zurich

@SloNN
SloNN
@e345ee
Sadovoi Grigorii e345ee

Saint Petersburg

@simonpj
Simon Peyton Jones simonpj

Epic Games

@chip-red-pill
uCode Research Team chip-red-pill
Research Team Members: Dmitry Sklyarov (@_Dmit), Mark Ermolov (@_markel___), Maxim Goryachy (@h0t)

Moscow

@F1SELL
lohop F1SELL
@Knedlik-Trdelnik
Mikitko Knedlik-Trdelnik
Я фанат Клименкова ,Егошина и Кулинича

ЧВК ВАГНЕР

@prismmodelchecker
PRISM Model Checker prismmodelchecker
Source code for the PRISM model checker and related projects
@triton-lang
triton-lang
@apolukhin
Antony Polukhin apolukhin

Boost C++ Libraries; userver

@misonijnik
Aleksandr Misonizhnik misonijnik
Formal methods advocate.

Tbilisi, Georgia

@seqra
Seqra seqra
Lean Agentic Application Security Testing
@google
Google google
Google ❤️ Open Source

United States of America

@KirillKurdyukov
Kirill Kurdyukov KirillKurdyukov

Yandex Database St. Petersburg

@cs-au-dk
Aarhus University cs-au-dk
@Artazor
Anatoly Ressin Artazor

@blockvis Riga, Latvia

@haskell-miso
miso haskell-miso
Official organization for the Haskell miso project

United States of America

@gearonixx
Uzhanin Egor gearonixx

ITMO University Moscow, Russia

@citusdata
Citus Data citusdata
Scalable PostgreSQL

San Francisco, CA

@lll-phill-lll
Filitov Mikhail lll-phill-lll
HSE Faculty of Computer Science alumni (bachelor) Skoltech Information Science and technology alumni (master)

Yandex Serbia, Belgrade

@rzk-lang
rzk proof assistant, satellite tools, and formalisations rzk-lang
@ArsenyBochkarev
Arseny Bochkarev ArsenyBochkarev
@MaskRay
Fangrui Song MaskRay
Retired Algo/CTF/Student Cluster Competition player

Earth

@dahbka-lis
Daniil Timižev dahbka-lis
📖 HSE CS AMI'26 | RU, SK, EN

@ydb-platform Moscow

@ydb-platform
YDB Platform ydb-platform
@BNFC
The BNF converter BNFC
@locker
Vladimir Davydov locker

@tarantool

@fhahn
Florian Hahn fhahn
Compilers @ Apple
@dtcxzyw
Yingwei Zheng dtcxzyw
@modular
Modular Inc modular
Modular is an integrated, composable suite of tools that simplifies your AI infrastructure so your team can develop, deploy, and innovate faster.

United States of America

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@savrus
Ruslan Savchenko savrus

Moscow

@Nechda
Dmitry Nechitaev Nechda

Earth

@achains
Arthur Chains achains

Saint Petersburg

@torilov
Dmitry Torilov torilov

Moscow

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@mailru
Free and open source software developed at VK mailru

Russia

@resetius
Alexey Ozeritskiy resetius
Moscow State University, Faculty of Mechanics and Mathematics, PhD

London, UK

@max8rr8
Max max8rr8
@YandexClassifieds
Yandex.Classifieds YandexClassifieds
Auto.ru, Яндекс Недвижимость, Аренда, Путешествия
@leanprover
Lean leanprover
Lean Prover
@Lipen
Konstantin Chukharev Lipen

ITMO University, @ctlab Russia, Saint-Petersburg

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Bellevue, WA, USA

@dvvrd
Dmitry Mordvinov dvvrd
Researcher in formal methods
@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding

@maxim-babenko
Maxim Babenko maxim-babenko

Yandex Moscow

@mip3x
Mikhail mip3x
@krinkin
Kirill Krinkin krinkin

Paphos

@JetBrains
JetBrains JetBrains
JetBrains Open Source

Netherlands