Skip to content
View agle's full-sized avatar
4 followers · 11 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Block or report agle

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
@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@ocaml-community
OCaml Community ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
@tmcgilchrist
Tim McGilchrist tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.

@tarides Sydney, Australia

@au-ts
Trustworthy Systems au-ts
The Trustworthy Systems research group in Australia
@Scibuild
Alex Mirrlees-Black Scibuild
Living optimistically

Australia

@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation

Australia

@robs-cse
Rob Sison robs-cse
There are few true mysteries in the world, but some of them are right here in Australia

Australia

@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.

https://ahrefs.com/ washington DC

@ncough
Nicholas Coughlin ncough
@aaronbembenek
Aaron Bembenek aaronbembenek

Boston

@katrinafyi
Kait katrinafyi
research software engineer