Skip to content
View vinisilvag's full-sized avatar
41 followers · 63 following
  • Belo Horizonte, MG

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report vinisilvag

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
vinisilvag/README.md

Vinicius G.

CS undergraduate student at Federal University of Minas Gerais (UFMG).
Undergraduate research student currently working on the Carcara proof checker.

Languages: C++, C, Python, TypeScript, Rust and currently learning Go and OCaml.

LinkedIn: @vinisilvag

Reach out at vinicius.svgomes@gmail.com

Pinned Loading

  1. graduation graduation Public

    Trabalhos, arquivos e códigos relacionados a graduação em Ciência da Computação na UFMG.

    Jupyter Notebook

  2. technical technical Public

    Some projects developed during the technical course at CEFET-MG.

    C++ 1

  3. carcara carcara Public

    Forked from ufmg-smite/carcara

    Rust

  4. cvc5 cvc5 Public

    Forked from cvc5/cvc5

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

    SMT

  5. gcp-heuristics gcp-heuristics Public

    Forked from igorlfs/hm-proj

    Projeto de Heurísticas e Meta-heurísticas 2023/2

    Rust

  6. dotfiles dotfiles Public

    My dotfiles.

    Lua