Skip to content
View zlonast's full-sized avatar
😋
😋
  • 00:04 (UTC +03:00)

Highlights

  • Pro

Organizations

@GrinTypes

Block or report zlonast

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
@dioptx
Dennis P dioptx
Surfing on/off-chain Before data @binance, @glassnode, @optimism, @Arkham | All neural outputs are my own or my dog

Athens, Greece

@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@bugarela
Gabriela Moreira bugarela
Building Quint at @informalsystems

@informalsystems Joinville, SC - Brazil

@KovalevDima
Dmitry Kovalev KovalevDima
DBMS and formal verification enthusiast
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@diS3e
Evgeniy Samodelov diS3e
CT student, M34391

ITMO University Saint-Petersburg

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@ajuggler
Antonio Hernandez ajuggler
Certified Cardano Developer Professional

zkFold

@sourabhxyz
Sourabh sourabhxyz
λ

@zkfold haskell

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@FeorgeGeorge
Kadanstsev Georgii FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Beijing, China

@Jovvik
snek Jovvik
ETH Zürich CS MSc • ITMO CT M3*37 • 239 17-4

ETH Zürich Zürich, Switzerland