Skip to content
View mattjbray's full-sized avatar
49 followers · 11 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Block or report mattjbray

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
@imandra-ai
Imandra imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

London, Austin, Edinburgh

@Annalouise643
Annalouise643
@samwhitehall
Sam Whitehall samwhitehall
I'm interested in things.

Manchester, UK

@ignaden
Denis Ignatovich ignaden
Co-Founder at Imandra

@Imandra-ai Austin/London

@Bronsa
Nicola Mometto Bronsa
Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author

@imandra-ai London

@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

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@rtfeldman
Richard Feldman rtfeldman
Creator of the Roc programming language. Author of Elm in Action.

Philadelphia, PA

@evancz
Evan Czaplicki evancz
Designer/developer of @elm
@Chadwickd
Chadwickd
@actionshrimp
Dave Aitken actionshrimp

London