Pinned Repositories
aline
Align text with vimscript!
Aplica-o
CRUD para um banco de dados de um corretor automático
christmas
Christmas lights for Vim
clist
compras
É só para fazer as lista de compras
conjunto
Subset de C com tipo conjunto
ctruct
Defini-o-de-uma-gram-tica-de-termos-usando-Coq
Term definition using Coq
Don
Don
JVM
Projeto do leitor e exibidor de bytecode.
vinicius-toshiyuki's Repositories
vinicius-toshiyuki/JVM
Projeto do leitor e exibidor de bytecode.
vinicius-toshiyuki/christmas
Christmas lights for Vim
vinicius-toshiyuki/compras
É só para fazer as lista de compras
vinicius-toshiyuki/conjunto
Subset de C com tipo conjunto
vinicius-toshiyuki/aline
Align text with vimscript!
vinicius-toshiyuki/Aplica-o
CRUD para um banco de dados de um corretor automático
vinicius-toshiyuki/clist
vinicius-toshiyuki/ctruct
vinicius-toshiyuki/Defini-o-de-uma-gram-tica-de-termos-usando-Coq
Term definition using Coq
vinicius-toshiyuki/Don
Don
vinicius-toshiyuki/markdown-preview.nvim
markdown preview plugin for (neo)vim
vinicius-toshiyuki/neovide
No Nonsense Neovim Client in Rust
vinicius-toshiyuki/nikkeyshimbun
Aplicativo para baixar e imprimir o jornal Nikkey Shimbun
vinicius-toshiyuki/nominal-ac
A Formalisation (in Coq) of Nominal C-Matching and Unification and Nominal A, C and AC-Equivalence
vinicius-toshiyuki/PC
Problemas clássicos de programação competitiva resolvidos em C com pthreads
vinicius-toshiyuki/Projeto-de-An-lise-de-Imagens-de-Cana
vinicius-toshiyuki/RSA-Digital-Signature-Tool
RSA OAEP and SHA-3 implementations in C
vinicius-toshiyuki/termwin