8000 amarmaduke (Andrew Marmaduke) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View amarmaduke's full-sized avatar
14 followers · 4 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@kind2-mc @cedille

Block or report amarmaduke

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
@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@eldesh
eldesh eldesh

Tokyo

@developedby
Nicolas Abril developedby
@rn7s2
Ruiqi Lei rn7s2
@trimechee
trimechee
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@weigui
weigui
@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@catastropher
Michael Wilder catastropher
CTO of RustBit Studio
@relrod
Rick Elrod relrod
Learning Rust • Lead of @dagd • Ham radio, functional programming and type theory.

Germany

@jm125
Joe Maas jm125
@garrison0
Garrison McMullen garrison0
@EricArndt
Eric Arndt EricArndt
@JAChapmanII
Jeff Chapman II JAChapmanII

Kent, Ohio

0