Skip to content
View vinisilvag's full-sized avatar
56 followers · 93 following

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

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.

Content in all repositories owned by your account will be closed.
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
vinisilvag/README.md

Vinicius G.

MSc student at Universidade Federal de Minas Gerais (UFMG).
Researcher actively contributing to the Carcara proof checker and the cvc5 SMT solver.

Programming languages: C++, C, Python, Rust, TypeScript and Go.

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

    A GRASP + Path-relinking heuristic for the Graph Coloring Problem.

    Rust

  6. dotfiles dotfiles Public

    My config/dotfiles for tmux, nvim, emacs, etc.

    Lua