VynceCook

Pinned Repositories

nvim-web-devicons
lua `fork` of vim-web-devicons for neovim
Language:Lua2.1k 11 190184
QRLudo
Projet de concrétisation disciplinaire - Master I Informatique
Language:Kotlin43
quacode
Quacode is a Quantified Constraint Satisfaction Problems (QCSP) solver built over the Gecode toolkit.
Language:C++10
vim-Grammalecte
A vim plugin for the Grammalecte French grammar checker
Language:Vim Script00

VynceCook's Repositories

VynceCook/QRLudo
Projet de concrétisation disciplinaire - Master I Informatique
Language:Kotlin43
VynceCook/quacode
Quacode is a Quantified Constraint Satisfaction Problems (QCSP) solver built over the Gecode toolkit.
Language:C++10
VynceCook/vim-Grammalecte
A vim plugin for the Grammalecte French grammar checker
Language:Vim Script00