Skip to content
View bracevac's full-sized avatar
35 followers · 51 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report bracevac

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
@He-Pin
He-Pin(kerr) He-Pin
冲冲冲, Akka/Pekko/Netty/Rust/Scala

@taobao @alibaba Hangzhou, Zhejiang, China

@satorg
Sergey Torgashov satorg

@griddynamics San Francisco Bay Area, CA

@natsukagami
Natsu Kagami natsukagami
PhD @ EPFL, Switzerland.

Lausanne, Switzerland

@noti0na1
noti0na1 noti0na1

LAMP, EPFL Lausanne

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

Xanadu Canada

@timothyklim
timothy timothyklim
@nmcb
nmc.borst nmcb
( fuck it - we're all gonna die )

Independent Programmer Netherlands

@felko
felko
@som-snytt
som-snytt
@SethTisue
Seth Tisue SethTisue
Community Advocate on Scala Core Team

Reno, NV

@hamzaremmal
Hamza Remmal hamzaremmal
MSc Student @epfl and Research Assistant @lampepfl. Maintainer of the @scala programming language.

EPFL - @scala - @lampepfl Lausanne, Switzerland

@yqyq-w
yqyq-w
PL+Systems
@beike-zh
beike-zh
@senthil28
senthil28
@Kuigesi
RuiqiGao Kuigesi
@Angelogeb
Anxhelo Xhebraj Angelogeb
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@Pat-Lafon
Patrick LaFontaine Pat-Lafon
@supunab
Supun Abeysinghe supunab
Grad student @ Purdue-CS. Likes AI and it's applications, compilers, and systems research in general.

West Lafayette, Indiana

@reikdas
Pratyush Das reikdas
PhD student, working on compilers.

Purdue University West Lafayette, Indiana

@ahmadsafirun
ahmadsafirun
@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@Shangyint
Shangyin Tan Shangyint

UC Berkeley

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@eichholz
Matthias Eichholz eichholz
@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

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

INRIA/ENS; Tufts

@XilunWu
Xilun Wu XilunWu

@facebookexternal Menlo Park

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@deepankarsharma
Deepankar Sharma deepankarsharma
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@seba--
Sebastian Erdweg seba--

JGU Mainz