Skip to content
View HanielB's full-sized avatar
39 followers · 3 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@CVC4 @cvc5

Block or report HanielB

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
@augustty1
Augusto augustty1
Computer Science undergraduate at Universidade Federal de Minas Gerais. Interests include Theoretical Computer Science, Programming Languages and Mathematics.

Belo Horizonte

@sophie-pyxis
Sophie Pyxis sophie-pyxis
Enterprise Solutions Architect @ Grupo Fleury S.A, with over 11 years of experience designing cloud platforms, AI infrastructure and MLOps ecosystems.

Grupo Fleury São Paulo, Brazil

@luis-domingues
Luís Paulo Domingues luis-domingues
just a software engineer

Trends Automation Rio de Janeiro - Brazil

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@life-is-string
Mel Raposeiras Ricaldoni life-is-string
IT technician (CEFET-MG). Computer Science and Information Systems Student – ​​Common Core at UFMG (2st semester).

dtidigital Brazil

@caiofreitaso
Caio Freitas de Oliveira caiofreitaso

Natal, Brazil

@DisistiNao
Gabriel Saldanha DisistiNao
Science Computer Student at UFOP Computer Network Technician at CEFET-MG

Ufop Ouro Preto, MG

@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

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

Draper Boston

@marcosfpr
marcos marcosfpr
developer (@marcosfpr-vaultree)

Vaultree Brazil

@thayrelan
Thayrelan thayrelan
@vinisilvag
Vinicius Gomes vinisilvag
CS undergraduate student at Universidade Federal de Minas Gerais (UFMG)

Belo Horizonte, MG

@bernborgess
bernborgess
@pedrohfernandes
Pedro Fernandes pedrohfernandes
Computer Science student at UFMG

UFMG Belo Horizonte, MG, Brazil

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@abol-karimi
Abolfazl Karimi abol-karimi
Cofounder & Head of AI Systems and Scientific Software, GREENBOX Labs

GREENBOX Labs, Inc.

@RosaUlisses
Ulisses Rosa RosaUlisses
Computer Science student at Federal University of Minas Gerais

UFMG Belo Horizonte - MG - Brasil

@edjard
Edjard Mota edjard
@HaniBR01
Haniel Botelho Ribeiro HaniBR01
IFMG Ribeirão das Neves INFO 3/3 completo UFMG Belo Horizonte Ciência da Computação 6/10
@resende-gabriel
Gabriel Resende resende-gabriel

Belo Horizonte

@yukun-impa
Yukun Zhao yukun-impa
mestrado do IMPA

Huawei China

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@canesche
Michael Canesche canesche
I'm a Ph.D. in Computer Science at UFMG, and I'm lead Software Engineer at Cadence. I love coffee and code. Welcome to my GitHub!

Cadence Design Systems Belo Horizonte, Brazil

@AdrianoII
AdrianoII AdrianoII
Types are 🧊.
@vinciusb
Vinícius Braga Freire vinciusb
B.S. in Information Systems, UFMG, Brazil | Back-end Developer @ Isaac

UFMG Belo Horizonte, Brazil

@DanielAugusto191
Daniel DanielAugusto191
Compilers Engineer - Computational Mathematics with a focus on Computer Science at the Federal University of Minas Gerais

UFMG Ribeirao das Neves, Minas Gerais, Brasil

@tomaz1502
Tomaz Gomes Mascarenhas tomaz1502
Computer Scientist

UFMG Belo Horizonte, MG, Brazil

@kov
Gustavo Noronha Silva kov
@WallysLS
Wallys L WallysLS
Developer

Belo Horizonte/ MG - Brasil

@goncalves-ac
Ana CG goncalves-ac
@diegodrc
Diego Della Rocca de Camargos diegodrc
Computer Science - Universidade Federal de Minas Gerais - Brazil

Belo Horizonte, Brazil

@fvrmatteo
Matteo fvrmatteo
@igorlemes
Igor Lemes igorlemes
@nunesgh
Gabriel H. Nunes nunesgh
Computer Scientist and Physicist

Sydney, NSW, Australia

@vitor-mafra
Vitor Mafra vitor-mafra
MSc in CS student @ UFMG. Data Scientist @quaest-pesquisa. NLP, content moderation, disinformation, social media and LLMs.

@quaest-pesquisa Belo Horizonte, Brazil

@aulus97
Áulus Pinho aulus97
BSc of Information Systems at UFMG

Federal University of Minas Gerais Belo Horizonte - MG/BR

@simonsan
simonsan

GmbH CUBE

@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