Skip to content
View gares's full-sized avatar
💭
hacking
💭
hacking
98 followers · 2 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@rocq-prover @math-comp

Block or report gares

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
@fabriceleal
Fabrice Ferreira Leal fabriceleal

Leiria, Portugal

@tbrk
Timothy Bourke tbrk

Inria Paris

@amir
Amir M. Saeid amir

Dublin, Ireland

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@coco123656
coco123656
@jiangsy
Shengyi Jiang jiangsy
@WojciechKarpiel
WojciechKarpiel
JA LUBIE WOLMO

Kraków

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@himito
Jaime Arias Almeida himito
CNRS Research Engineer at LIPN - Université Sorbonne Paris Nord.

CNRS France

@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@selcux
Seλçuk Öztürk selcux
software developer

Helsinki

@tomhoule
Tom Houlé tomhoule
no nearing!

@grafbase Berlin, DE

@KiJeong-Lim
임기정 KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.

https://sites.google.com/view/fcai-lab Seoul, Republic of Korea

@d3v3l0
d3v3l0

Munich

@rigille
Rígille S. B. Menezes rigille
I'm trying to learn some things and have fun :w

Mixrank Vitória, Brasil

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@AlexiaChen
MathxH Chen AlexiaChen
Money-Driven Learner. Ex-Blockchain Engineer. Ex-Cryptography Hobbyist.

中国电建-昆明勘探研究设计院 Kunming, China

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@rrika
Erika rrika
GPU compiler dev
@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@ayo-dele-akin
Ayodele ayo-dele-akin
Human
@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@rustybuddha
Rohan Sharan rustybuddha
@azhernan
Hernán Alfredo Velázquez azhernan

CABA, Argentina

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@marat-curious
Marat marat-curious
@soraros
soraros
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@richardlford
Richard L Ford richardlford
@massimo-nocentini
Massimo Nocentini massimo-nocentini

Versilia, Italy.

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@juanbono
Juan Bono juanbono

@lambdaclass Buenos Aires, Argentina

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@germanD
Germán Delbianco germanD
VIP baker concierge and clandestine ops // TechRel team @trilitech

Trilitech London

@takasimiz
Satoru "Con" Takasimizu takasimiz
A con engineer.

Tashirojima

@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

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@daurnimator
daurnimator
Developer; Software Architect; @ziglang and @lua Lover; Electrical Engineer; @hashbang Sysadmin and Teacher; @MelbourneWireless node.

Melbourne, Australia

@amutake
Shohei Yasutake amutake

@Idein Tokyo, Japan

@linuxmaniac
Victor Seva linuxmaniac
cogito ergo sum. Software Engineer. Old SysAdmin. Kamailio and Debian Developer. VoIP Consultant. Old handball player.

Alicante, Spain