Skip to content
View andrejbauer's full-sized avatar
873 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@HoTT @Andromedans

Block or report andrejbauer

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 250 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
@joshuanunn
Joshua Nunn joshuanunn

UK

@Morilind
Alex Morilind
@dwayne
Dwayne Crooks dwayne
A software engineer specializing in full stack web application development. Proficient in Elm 🌲.

Trinidad & Tobago

@stdcall
Nikolay D Khodyunya stdcall

Yandex Russia/Krasnoyarsk

@Alf0nso
Afonso Rafael (Gafanhoto) Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing

Barcelona Supercomputing Center Barcelona

@aresbit
aresbit
@usmanakram232
wolfi3 usmanakram232
Cloud Native Finance

@ginmon Frankfurt

@LucasUTNFRD
Lucas Delgado LucasUTNFRD
20. Information Systems Engineering at UTN FRD.

Argentina,Buenos Aires

@aretrace
RTrace aretrace

Fairchildren, all of them Svenborgia

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@dancewithheart
Piotr Paradziński dancewithheart
I used to be @lemastero
@alpha-beta-eta
alpha-beta-eta
I am interested in programming languages, classical AI, and logic.
@Tobychev
Tomas Bylund Tobychev
@emaballarin
Emanuele Ballarin emaballarin
PhD candidate in Deep Learning. Representations, robustness, empirical methods, kernels, physics & neuroscience. Overenthusiastic tinkerer.

@ailab-units | @UCLComputerScience London, UK

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@zhengyunqq
zhengyun zhengyunqq
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@Enmendurana
Enmendurana
@dkapt
Dimitrios Kapetanios dkapt

Greece

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@LamjahdiMo
Mohamed El Mami Lamjahdi LamjahdiMo

Laayoune, Morokko

@sesveti
sesveti
@GodelianSentence
AnalyticSort GodelianSentence
Formal methods enthusiast and wannabe logician.
@stephendor
stephendor
@maxdeliso
Max DeLiso maxdeliso

New York, NY

@Scorpiidev
Alpha Scorpion Scorpiidev
@thinhori03
Thịnh Nguyễn thinhori03
hello world :()

Việt Nam

@simnalamburt
Jihyeon Kim (김지현) simnalamburt
Natural Born Developer

@snucse, Ex @portone-io, @contentstech-com VPE Seoul, Republic of Korea

@sambellet
sambellet
@snkd
Susant Khadka snkd
@fromtheeast710
east fromtheeast710

Sydney, Australia

@sci-42ver
unknown sci-42ver
@atomSS-1
nmac atomSS-1
Pursing transparency~

South Korea

@nyngwang
nyngwang
@martinvolk91
Martin Volk martinvolk91
My Bio

Vienna, Austria

@AMillar1
AMillar1
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Computer Science / Interested in Formal Verification / Distributed Systems / Concurrency Theory

Germany

@mthwsgrg
Mathews George mthwsgrg

Edinburgh

@Ngalstyan4
Narek Galstyan Ngalstyan4

Armenia

@trey3p
Trey Plante trey3p
CS @ Wesleyan University

Wesleyan University

@afrancisca98
afrancisca98
@ElifUskuplu
ElifUskuplu
@selffins
lewis selffins
@fNBU
Adam Layne fNBU
I'm a Mathematician formerly working in academia. My interests are in mathematical modeling PDE, FP, and safety assurance of software.

Oregon, USA

@jtkristensen
Joachim Tilsted Kristensen jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.

The University in Oslo. 3410 Sylling, Norway.

@djspacewhale
Garrett Figueroa djspacewhale

Colorado

@wuc9521
Chentian Wu wuc9521
Math + CS Undergrad @UW-Madison

University of Wisconsin-Madison Madison, WI

@MarkFontenot
Mark Fontenot MarkFontenot
Teaching Professor in the Khoury College of Computer Sciences at Northeastern University

Northeastern University Boston, MA

@stschaef
Steven Schaefer stschaef