8000 resende-gabriel (Gabriel Resende) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View resende-gabriel's full-sized avatar
23 followers · 27 following
  • Belo Horizonte

Achievements

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

Achievements

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

Highlights

  • Pro

Block or report resende-gabriel

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

Stars

Showing results

pmuens / serverless-book

A book about the http://serverless.com Framework v1

JavaScript 154 41 Updated Jan 31, 2022

cvc5 / cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,133 257 Updated Jun 10, 2025

ent / ent

An entity framework for Go

Go 16,240 964 Updated Jun 4, 2025

vitor-mafra / bot_do_bandejao

🤖🍴 A Python script that scrapes UFMG's restaurants menus and publishes them @bot_do_bandejao Twitter profile

Python 28 Updated Feb 27, 2024
0