Skip to content
View vinisilvag's full-sized avatar
50 followers · 78 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 Universidade Federal de Minas Gerais (UFMG).
Undergraduate research student currently working on the Carcara proof checker.

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

LinkedIn: @vinisilvag

Reach out at [email protected]

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