vinisilvag

CS undergraduate student at Federal University of Minas Gerais (UFMG)

Belo Horizonte, MG

Pinned Repositories

2021-2-exercicio-revisao-refatoracao
Language:C++00
astrovim
AstroVim stuff
Language:Lua0 1 00
books-api
Language:TypeScript0 1 00
carcara
Language:Rust00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
dotfiles
My dotfiles.
Language:Lua00
gcp-heuristics
A GRASP + Path-relinking heuristic for the Graph Coloring Problem.
Language:Rust0 0 00
graduation
Trabalhos, arquivos e códigos relacionados a graduação em Ciência da Computação na UFMG.
Language:Jupyter Notebook00
technical
Some projects developed during the technical course at CEFET-MG.
Language:C++1 1 10

vinisilvag's Repositories

vinisilvag/astrovim
AstroVim stuff
Language:Lua0 1 00
vinisilvag/carcara
Language:Rust00
vinisilvag/compilers
Practical assignments for the discipline DCC053 - Compiladores I at UFMG
Language:C++0 1 00
vinisilvag/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
vinisilvag/dotfiles
My dotfiles.
Language:Lua00
vinisilvag/gcp-heuristics
A GRASP + Path-relinking heuristic for the Graph Coloring Problem.
Language:Rust0 0 00
vinisilvag/graduation
Trabalhos, arquivos e códigos relacionados a graduação em Ciência da Computação na UFMG.
Language:Jupyter Notebook00
vinisilvag/tsp-heuristics
Practical assignment for the discipline DCC215 - Heurísticas e Metaheurísticas at UFMG
Language:Rust00
vinisilvag/bridge-defense
Language:Python
vinisilvag/bridgebuff
Language:TypeScript
vinisilvag/bstree
Binary search tree implementation in Go
Language:Go
vinisilvag/demo-ci
Aula prática sobre servidores de Integração Contínua
Language:Java0 0
vinisilvag/demo-cypress
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
Language:JavaScript
vinisilvag/esmforum
Nova versão do ESM Forum - Sistema minimalista de demonstração do livro Engenharia de Software Moderna
Language:JavaScript
vinisilvag/fspd-grpc
Language:Python
vinisilvag/gasosa
Language:TypeScript1 0
vinisilvag/gcp-genetic
minha redenção com algoritmos genéticos
Language:C++
vinisilvag/po-tp-01
Practical assignment 1 for the discipline DCC035 - Pesquisa Operacional at UFMG
Language:Julia1 0
vinisilvag/po-tp-02
Practical assignment 2 for the discipline DCC035 - Pesquisa Operacional at UFMG
Language:Julia
vinisilvag/reminder-app
Language:TypeScript
vinisilvag/RoteiroRefactoringJS
Roteiro prático sobre refatorações
Language:JavaScript0 0
vinisilvag/rust-master-class-course
https://www.udemy.com/course/rust-programming-master-class-from-beginner-to-expert/
Language:Rust
vinisilvag/simplex
Extra practical assignment for the discipline DCC035 - Pesquisa Operacional at UFMG
Language:Python1 0
vinisilvag/sml-interpreter
Practical project for the discipline DCC024 - Linguagens de Programação at UFMG
Language:Standard ML
vinisilvag/so-tp-01
Practical assignment 1 for the discipline DCC605 - Sistemas Operacionais at UFMG
Language:C
vinisilvag/so-tp-02
Practical assignment 2 for the discipline DCC605 - Sistemas Operacionais at UFMG
Language:C
vinisilvag/sudoku-solver
Language:Jupyter Notebook
vinisilvag/threads-moving-in-a-grid
Language:C
vinisilvag/tp0-redes
Language:Python
vinisilvag/vinisilvag