Skip to content

@coq Coq

@FermiQ
FermiQ FermiQ
Im an intergalactic dust particle; hanging on a limited lifespan; anticipating a lightYr. old ray of luv 2 consummate with QFT; QT; Statistical Probabilistic QC

Neutrino

@witherable-crate-2
witherable-crate-2
@gabyfle
Gabriel Santamaria gabyfle

world

@motrellin
motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.

Erlangen

@soheilAppear
Soheil Sepahyar soheilAppear

PhD in CS

@brendanny
brendan brendanny
@briancabbott
Brian Abbott briancabbott
Software Engineer. I currently live in Bellevue, WA. My focuses are on Systems Programming, Mathematics and Deep Learning.

Bellevue, WA

@molodiuc
Veaceslav Petru Molodiuc molodiuc

LoculoSoft

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@StamesJames
StamesJames
@Hacker-Code-J
Ji, Yong-Hyeon Hacker-Code-J

Crypto & Security Engineering Lab (CSE) Kookmin University in Seoul, South Korea

@Fencekeeper
Vegard Fjellbo Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.

Webstep Norway

@praisetompane
Praise Tompane praisetompane
Software Engineer interested in the theoretical foundations and applications of Computation and Mathematics.

Cape Town South Africa

@zhaoyupenggit
Zhao YuPeng zhaoyupenggit
GitHub Launch！！！
@grant-wilson
grant-wilson
@haruki7049
haruki7049 haruki7049
I can not speak English well

Japan

@RGBCube
RGBCube RGBCube
May include trace amounts of functional programming.

Doofemshmirtz Evil Inc. Istanbul

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@IshiguroYoshihiro
IshYosh IshiguroYoshihiro
@shuhenglee
Morphism shuhenglee
@dglb
david dglb
@randomdots8
Random Dots randomdots8
@He1pa
He1pa He1pa
Compiler, IDE, Web3, Smart Contract, AI, Formal Verification

Ant Group Hangzhou, China

@hugo5783
hugo5783
@ooops-t
Ooops_t ooops-t
@sorairolake
Shun Sakai sorairolake

Nagano, Japan

@andrewallenbruce
Andrew Allen Bruce andrewallenbruce
Healthcare Data Analyst

Georgia

@bonjune
Bongjun Jang bonjune
I type and verify.

Daejeon, Republic of Korea

@hewigovens
Tao Xu hewigovens
A 🥷 Developer

Tokyo

@cvs0
cvs0 cvs0

@LockScript-Solutions Canada

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@m9h
Morgan Hough m9h
Computational biophysicist

Center17 San Francisco, CA

@Tridu33
Tridu33
tridu33.github.io
@nissinassime
Nissi nissinassime

Quebec

@pricesmith
Price Smith pricesmith
Mid-level jack of all trades.
@J-Lw
JLaw J-Lw
∫ (Eudaimonic Ascent ∪ Virtus Junxit Mors Non Separabit)

@Specialized-Execution Canada

@Neustradamus
Neustradamus Neustradamus
@RyanJBuchanan
Ryan Jamie Buchanan RyanJBuchanan
Eccentric hundredaire; armchair loopspace theorist

SpiralSource Roseburg, OR

@majdlatah
Majd Latah majdlatah
Computers and networked systems.

University of Hamburg Hamburg, Germany

@RadioNoiseE
黄京 RadioNoiseE
堕落する準備はＯＫ？

nil Shanghai, China

@damhiya
SoonWon Moon damhiya
An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.

Seoul, Republic of Korea

@qwinsi
qwinsi qwinsi

Beijing, China

@longcpp
longcpp longcpp
Blockchain, Cryptography, DeFi
@wildsebastian
Sebastian Wild wildsebastian
@fairhopeweb
Software Nerd fairhopeweb

SiteCommand

@wrendrick
wrendrick
@thialbuquerque
Thiago de Oliveira Albuquerque thialbuquerque
Computer Engineering undergraduate student at Universidade de Brasília, Brazil. Currently studying automotive electronics, cybersecurity and data science.

Universidade de Brasília Brazil

@HungryVovka
Vladimir Rukavishnikov HungryVovka
Kalashnikov Izhevsk State Technical University: Economics (Bachelor), Finance and credit (Master with honors) #FreeNavalny #FreeNavalnyNow

Russia

@5kj41d
Magnus C. 5kj41d
CS student at AAU (Masters). I live in Northern Jutland, Denmark. I have a huge interest in digital heritage and computational archaeology.

Tinywolf and TimeTrails Denmark

@Seasawher
Kitamado Seasawher
I like mathematics and Lean prover.

Japan