Skip to content
View havaker's full-sized avatar
  • University of Warsaw

Organizations

@KimLoanStudios

Block or report havaker

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
@mlazowik
Michał Łazowik mlazowik
Principal / CTO at @qedsoftware

QED.ai Warsaw, Poland

@ralenth
Ada Bukala ralenth
MSc bioinformatics student.

University of Warsaw Warsaw, Poland

@Simontwice
Szymon Antoniak Simontwice
Core LLM research + wrestling with formal math || Head of Consumption for Eastern Europe @Lao-Gan-Ma
@crewtool
Michał crewtool
I really like cheesecake :>

Warsaw

@szysad
Szymon Sadkowski szysad
Machine Learning student @ MIMUW
@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation

Australia

@mehhl
Maciej Mehl mehhl
100% sensibility
@AaRaBiNoZa
Adam Al-Hosam AaRaBiNoZa
Computer Science Student @ University of Warsaw

Warsaw, Poland

@JurandP
Jurand Prądzyński JurandP
I am a student of mathematics, astronomy and an enthusiast of artificial intelligence.

University of Warsaw Warsaw

@RaitoBezarius
Ryan Lahfa RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.

Independent Contributor France

@SzymonLukasik
Szymon Łukasik SzymonLukasik

University of Warsaw Warsaw

@szymczakpau
Paulina Szymczak szymczakpau
PhD student at Computational Biology. Bioinformatician by day, SciArt by night. Antimicrobial peptides & generative AI.

@szczurek-lab Munich, Germany

@barbarajurzysta
Barbara Jurzysta barbarajurzysta
Bioinformatics and Data Science

University of Warsaw Warsaw

@jano1906
Jan Olszewski jano1906
Student at Warsaw University (MIMUW)

Warsaw

@patrick-nicodemus
Patrick Nicodemus patrick-nicodemus
Computational biology in Python and R. Formally verified mathematics in Coq.

University of Pennsylvania Philadelphia, Pennsylvania

@glothriel
Konstanty Karagiorgis glothriel
DevOps engineer

@PiwikPRO Poland

@jonringer
Jonathan Ringer jonringer
A release manager for NixOS 20.09, 21.05, 21.11, and previously 24.05. Functional Programming fan including Haskell and NixOS

Shopify Near Seattle, WA

@puckipedia
Puck Meerburg puckipedia

Tactile Metrology B.V.

@ryantm
Ryan Mulligan ryantm

@replit Las Vegas, Nevada

@alyssais
Alyssa Ross alyssais
736C CDF9 EF51 BD97 Avatar by Chipiku.
@maciek-slon
Maciej Stefańczyk maciek-slon

Warsaw University of Technology Warsaw

@cdluminate
M. Zhou cdluminate
PhD@JHU; @Debian Developer.

Johns Hopkins University Baltimore, MD

@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@diku-dk
DIKU diku-dk
Department of Computer Science at the University of Copenhagen

Copenhagen, Denmark

@hv15
Hans-Nikolai Viessmann hv15
Systems Engineer working at the Paul Scherrer Institute, focused on HPC. Additional interests include compilers, OS/kernel, and many-core/GPU accelerators.

@paulscherrerinstitute & @SacBase Everything Everywhere All at Once

@ahovgaard
Anders Kiel Hovgaard ahovgaard
Functional Programmer at Motorola Solutions. Computer Science graduate from DIKU, University of Copenhagen.

Motorola Solutions, Inc. Malmö, Sweden

@henglein
Fritz Henglein henglein
Professor of Programming Languages and Systems

Department of Computer Science, University of Copenhagen (DIKU) Copenhagen

@melsman
Martin Elsman melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

University of Copenhagen, Denmark Copenhagen, Denmark