Skip to content
View adamse's full-sized avatar
🐈
🐈

Organizations

@dtekcth @gbgstartuphack @CakeML @DSLsofMath @jj-vcs

Block or report adamse

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
@ryancdotorg
Ryan Castellucci ryancdotorg
Hacker. Enby. Bot slayer. Ex-sysadmin. Bureaucramancer. Purveyor of technically sophisticated shitposts. Forks are not endorsements.

London, UK

@edef1c
edef edef1c
manipulating etchings in poisoned sand

Earth

@ThePhD
The Phantom Derpstorm ThePhD
C, C++, C#, Rust, and OCaml to keep some sanity. TypeScript when necessary. God Save Me.

Münglass

@marcan
Hector Martin marcan
If it ain't broke, I'll fix it!

Tokyo, Japan

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@hoshinolina
Hoshino Lina hoshinolina
Hello everyone, Hoshino Lina here! I'm a developer VTuber!

Tokyo

@orlp
Orson Peters orlp

Polars Leiden, Netherlands

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

East River Source Control Austin, TX

@mdcallag
Mark Callaghan mdcallag
https://www.linkedin.com/in/mdcallag
@Ben-Lichtman
B3NNY Ben-Lichtman
Hacker, Programmer, Engineer. Security @ MS

Microsoft

@jeffhammond
Jeff Hammond jeffhammond
HPC software @NVIDIA in 🇫🇮. Previously @intel HPC, @argonne-lcf w/ Blue Gene and MPI. PhD in Chemistry from @uchicago for work on @nwchemgit. He/him/hän.

@nvidia Helsinki, Finland

@lukego
Luke Gorrie lukego
Software performance modelling and optimization guy.

Permo Sweden

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@bodil
Bodil Stokke bodil

Vault-Tec Corporation

@osresearch
Trammell Hudson osresearch
I like to take things apart.

Lower Layer Labs AMS

@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@lemire
Daniel Lemire lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@mmp
Matt Pharr mmp

San Francisco, CA

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@ocramz
Marco Z ocramz
ML + λ

@unfoldml

@jamii
Jamie Brandon jamii
Feral man-ape.

Vancouver, BC

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@vapourismo
Ole vapourismo
Love static typing, functional programming and solving big problems by typing things into a computer.

London

@gallais
G. Allais gallais

Glasgow, Scotland

@patrikja
Patrik Jansson patrikja

Chalmers University of Technology Göteborg, Sweden

@jyp
Jean-Philippe Bernardy jyp

University of Gothenburg Göteborg, Sweden

@Fuuzetsu
Mateusz Kowalczyk Fuuzetsu

@tsurucapital 福井県坂井市, Japan

@hfox
Valentin hfox

Kingdom of Sweden