Skip to content
View actionshrimp's full-sized avatar
39 followers · 35 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@imandra-ai

Block or report actionshrimp

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 100 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
@benbellick
Ben Bellick benbellick

Imandra.ai

@brianrourkeboll
Brian Rourke Boll brianrourkeboll
@fsestini
Filippo Sestini fsestini

Imandra United Kingdom

@aidmandorky
Koundinya Vajjha aidmandorky

@imandra-ai San Francisco Bay Area

@ghuysmans
ghuysmans

Belgium

@Matt-B
Matt Matt-B

Norwich

@skurhse
Skurhse Rage ∅ skurhse
🌎 🌍 🌏

Minneapolis, USA

@eruizsoley
eruizsoley
@Lutonik
Mojerik Lutonik
Najnowsze leki oparte na sibutraminie czyli meridia 15 oraz nowoczesna zelixa 15 jak i Lindaxa 15 w najniższych cenach

Łysienie Sibutramina 15

@malterz101
Will malterz101
Built in London, please report all bugs to Aperture Laboratories.
@rdavison
Richard Davison rdavison

New York, New York

@lrhammond
Lewis Hammond lrhammond
Hello world.

University of Oxford Oxford, UK

@KieranAxiioTek
KieranAxiioTek
@esneko
Andrejs Agejevs esneko
λ

Latvia

@grancalavera
Leon Coto grancalavera

London

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@kgxsz
Keigo kgxsz

London, United Kingdom

@padraigobrien
Padraig O'Brien padraigobrien
@heavyimage
Jesse Spielman heavyimage
CS PhD researcher

Heavy Image

@Jue92
Jue92
@ahmetabdi
Ahmet Abdi ahmetabdi
You take the red pill, you stay in Wonderland, and I show you how deep the rabbit hole goes…

@home London

@angusshire
Angus H. angusshire

UC Berkeley Berkeley, CA

@cichli
Michael Griffiths cichli

@Cervest London

@eddhannay
Moved to @edd eddhannay
Defunct, see @edd

@edd

@samcrang
Sam Crang samcrang
computers and whatnot

London, UK

@hjameel
hjameel

London

@c24w
Chris Watson c24w

7digital London

@skolima
Leszek 'skolima' Ciesielski skolima

Europe

@tomravalde
Tom Ravalde tomravalde
Senior Data Scientist in the UK Civil Service, formerly British Airways. PhD from @imperial College London in optimising urban metabolism

UK Civil Service London

@johnjcorcoran
John Corcoran johnjcorcoran

ChangeEngine London

@raoulmillais
Raoul Millais raoulmillais

@paritytech Edinburgh

@simonrw
Simon Walker simonrw

@localstack UK

@han000
han000
@scrooloose
Martin Grenfell scrooloose

UK

@Chadwickd
Chadwickd
@oneelement
Oliver Chesterman oneelement
@mattjbray
Matt Bray mattjbray

@imandra-ai London, UK