8000 rybla (Henry Blanchette) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View rybla's full-sized avatar

Block or report rybla

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
@tushar994
Tushar Jain tushar994
Just someone who loves to build things with code and wants to make change
@wondernoodle09
Annika wondernoodle09
full stack dev by day, silly animal projects by night
@mirryi
Eric Zhao mirryi

Brown University

@zzylol
Zeying Zhu zzylol
CS Ph.D. student at University of Maryland, College Park

University of Maryland, College Park

@cjpopova
Caspar Popova cjpopova
https://cjpopova.github.io/
@ashandoak
Ashley Blacquiere ashandoak
Sr. Ops. Manager @leanprover

@leanprover Vancouver

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@flaviopavim
Flávio Pavim flaviopavim
Skills with lot types of softwares: Web, Desktop, Mobile - Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino

WhiteHats

@0xjusta
Justa 0xjusta
Rust contract developer
@fslmultiservice22
Trading23 fslmultiservice22
Trading.

@fslmultiservice Via Cadibona 9

@staslyakhov
Stanislav Lyakhov staslyakhov
Engineering @ Galois

@GaloisInc

@davidadachi
David Adachi davidadachi
Sr.Solidity Developer

San Francisco, CA

@bquiring
Benjamin Quiring bquiring
3rd-year PhD Sudent at UMD, studying under David Van Horn

University of Maryland

@Hirama
Hirama
Go, Solidity, Next.js

Dubai

@0xJepsen
Jepsen ✨ 0xJepsen
Creating Biodigital Jazz

@Pluto Somewhere in meatspace

@solidityslayer
Alexis Bed solidityslayer
likes looking at github
@dm0n3y
David Moon dm0n3y
CS PhD student at UMich

@hazelgrove @fplab Ann Arbor, MI

@Stehfyn
Stephen Foster Stehfyn
be the change

Reno, Nevada

@MATRIXKOO
M4tr1xt4ng MATRIXKOO
Semi-Programmer | Vegetable PLer| Working on PLDI

@Vidar-Team @InProgramming @earth

@sighingnow
Tao He sighingnow

@alibaba Beijing, China

@Kraks
Guannan Wei Kraks
Postdoc at INRIA/ENS; Incoming assistant prof at Tufts; PL/FM/Compilers

INRIA/ENS; Tufts

@zant
zant

@plantingspace

@EarlPitts
Bendeguz Seres EarlPitts
MSc Computer Science student @ Eötvös Loránd University

Budapest

@algebraic-dev
Sofia Rodrigues algebraic-dev
I work for @leanprover, I love this language :P
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@DaveAxiom
DaveAxiom
Lifelong explorer in source code.

Connecticut, USA

@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@Alf0nso
Afonso Rafael (Gafanhoto) Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing

Barcelona Supercomputing Center Barcelona

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@singularitti
Qi Zhang singularitti
Postdoc in computational physics / materials science, Julia language enthusiast

Oden Institute for Computational Engineering and Sciences, The University of Texas at Austin 201 E 24th St, Austin, TX 78712

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@javathunderman
Arjun Vedantham javathunderman
CSE PhD @ UC Santa Cruz

/dev/null

@jessepinkman9900
jessepinkman9900
Backend, Distributed Systems, Blockchain

IIIT-H internet

@nglaeser
Noemi Glaeser nglaeser
Applied cryptographer • PhD'24 UMD & MPI-SP
0