Skip to content
View michelk's full-sized avatar
34 followers · 575 following
  • Zürich

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx2

Block or report michelk

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
@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France

@SamuelSchlesinger
Samuel Schlesinger SamuelSchlesinger
Cryptography engineer at Google Chrome focused on the intersection of privacy and security. Computer science is my hobby.

Google Connecticut

@math-inc
Math, Inc. math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.

United States of America

@anthropics
Anthropic anthropics

United States of America

@stanford-centaur
stanford-centaur
@ecmwf-ifs
European Centre for Medium-Range Weather Forecasts (IFS) ecmwf-ifs
Open-source components of and auxiliary software closely related to ECMWF's Integrated Forecasting System

Shinfield Park, Reading, United Kingdom

@sorgfresser
Simon sorgfresser
MPhil CompSci in Cambridge
@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@JamesRunnalls
James Runnalls JamesRunnalls
Research Software Engineer

Eawag Zurich

@eawag-surface-waters-research
Eawag Surface Waters Research eawag-surface-waters-research

Switzerland

@verus-lang
verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
@oxa-dev
Open Exchange Architecture oxa-dev
The Open Exchange Architecture (OXA) is a specification for representing scientific documents and their components as structured objects.
@OpenFOAM
Official OpenFOAM Repository OpenFOAM
Repository of OpenFOAM, produced by CFD Direct (https://cfd.direct) on behalf of The OpenFOAM Foundation.

OpenFOAM Foundation UK

@dbrakenhoff
Davíd Brakenhoff dbrakenhoff
(Geo)hydrologist at Artesia Water

Artesia Water Schoonhoven

@oOo0oOo
Oliver Dressler oOo0oOo

Switzerland

@fgdorais
François G. Dorais fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

University of Vermont Burlington, Vermont, USA

@timflow-org
timflow-org
@erdc
US Army Engineer Research and Development Center erdc
DISCOVER | DEVELOP | DELIVER

Vicksburg, MS

@climate-analytics-lab
Climate Analytics Lab climate-analytics-lab

United States of America

@marcellop71
Marcello Paris marcellop71

Rome, Italy

@for-all-dev
Forall LLC for-all-dev
AI security via formal methods

United States of America

@teorth
teorth
@paulch42
paulch42
@DeepGroundwater
DeepGroundwater
@protontypes
protontypes protontypes
A Free Community Accelerating Open and Sustainable Technology
@csail
MIT Computer Science and AI Lab csail

Cambridge, MA

@Lightbug-HQ
Lightbug HQ Lightbug-HQ
Home of the Mojo open-source projects: Lightbug, FireWorm, and more
@sbrunk
Sören Brunk sbrunk
@larsblatny
Lars Blatny larsblatny

Zürich, Switzerland

@rsmpi
rsmpi
@jedbrown
Jed Brown jedbrown
Physical Prediction, Inference, & Design (PhyPID). Fast algorithms & community software. Prof at CU Boulder. Alpinist, skier, runner.

CU Boulder

@cu-numcomp
cu-numcomp
CU Boulder Computer Science Numerical Computation (CSCI-3656)
@oxidecomputer
Oxide Computer Company oxidecomputer
Servers as they should be.

Emeryville, California

@mkeeter
Matt Keeter mkeeter
Weird CAD and graphics research; embedded software and systems engineering.

@oxidecomputer Cambridge, MA

@ShogoHirasawa
Shogo Hirasawa ShogoHirasawa
GIS Engineer

Japan

@munterfi
Merlin Unterfinger munterfi
Software Engineer / Data Scientist at the Swiss Federal Railways (SBB), specialized in Mobility Simulation and Geographic Information Science.

SBB (Swiss Federal Railways) Zurich, Switzerland

@autotwin
autotwin
Automated workflow for the Human Digital Twin: Image -> Segmentation -> Mesh -> Simulation -> Injury Risk
@mrbuche
Michael R. Buche mrbuche
R&D S&E, Computer Science

@sandialabs Colorado, USA

@kquick
Kevin Quick kquick

@GaloisInc Portland, OR

@squidfunk
Martin Donath squidfunk
Founder, Art & Engineering @zensical

@zensical

@VForWaTer
V-FOR-WaTer VForWaTer
V-FOR-WaTer
@sdd
Scott Donnelly sdd
Apache Iceberg Committer

London / Birmingham, UK

@raoulcollenteur
Raoul Collenteur raoulcollenteur
Hydrologist at Collenteur HydroConsult GmbH (Spiez, Switzerland). Python enthusiast.

FOEN / Collenteur HydroConsult Spiez,, Switzerland

@slidevjs
Slidev slidevjs
Presentation slides for developers
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@jetbrains-junie
JetBrains Junie jetbrains-junie
AI Coding Agent By JetBrains

Netherlands

@leap-stc
LEAP leap-stc
Learning the Earth with AI and Physics

United States of America

@TylerJosephson
TylerJosephson

University of Maryland, Baltimore County

@extropic-ai
Extropic extropic-ai
Extropic Corp.

United States of America

@JetBrains
JetBrains JetBrains
JetBrains Open Source

Netherlands