Skip to content
View grantpassmore's full-sized avatar
23 followers · 5 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@imandra-ai

Block or report grantpassmore

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
@ahmed-irfan
Ahmed Irfan ahmed-irfan

SRI International

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@beike-zh
beike-zh
@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@briland
Briland Hitaj briland

SRI International @SRI-CSL New York, NY, USA

@mavant
Matthew Avant mavant

New York, NY

@aidmandorky
Koundinya Vajjha aidmandorky

@imandra-ai San Francisco Bay Area

@baitcenter
Basel Ajarmeh baitcenter
Senior #Go #React #Vue #Laravel #C++ #Qt #Spring

Baay Palestine

@lrhammond
Lewis Hammond lrhammond
Hello world.

University of Oxford Oxford, UK

@JosephIaquinto
Joe Iaquinto JosephIaquinto

Troy Web Consulting

@fdilke
Felix Dilke fdilke

@mention springernature London, UK

@emaballarin
Emanuele Ballarin emaballarin
PhD student in (neuro-inspired) Deep Learning. Also: robust / trustworthy / Bayesian DL, kernel methods, computational neuroscience. Overenthusiastic tinkerer.

Dept. of Maths, UniTS | @LACoNIC-UniTS ⊆ @ailab-units | @sissa-data-science | @AI-Student-Society Trieste, Italy

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@ignaden
Denis Ignatovich ignaden
Co-Founder at Imandra

@Imandra-ai Austin/London

@jeromesimeon
Jerome Simeon jeromesimeon

Clause, Inc. New York

@mwunsch
Mark Wunsch mwunsch

New York, NY

@jmsdnns
Jms Dnns jmsdnns
If I had to live my life again, I'd make the same mistakes, only sooner.

NYC

@salsferrazza
Salvatore Sferrazza salsferrazza

NYC

@kini
Keshav Kini kini

Oracle Belmont, CA

@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

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Principal Research Software Engineer at Lean FRO Portland, OR

@soonhokong
Soonho Kong soonhokong

Amazon Web Services