VynceCook

Pinned Repositories

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
nvim-web-devicons
lua `fork` of vim-web-devicons for neovim
Language:Lua2k184

VynceCook's Repositories

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