Pinned Repositories
fmt
A modern formatting library
server
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
ann-benchmarks
Benchmarks of approximate nearest neighbor libraries in Python
dzslides
DZSlides is a one-file HTML template to build slides in HTML5 and CSS3.
gdb-tools
Various tools to improve the gdb experience
hassio-addons
My Home Assistant Add-ons
jira-syntaxplugin
clone of https://bitbucket.org/hski/syntaxplugin-public/
new-buildbot
buildbot.mariadb.org
pereop-test
Pessimist-Realist-Optimist Test
randgen
Random Query Generator (with MariaDB patches)
vuvova's Repositories
vuvova/gdb-tools
Various tools to improve the gdb experience
vuvova/dzslides
DZSlides is a one-file HTML template to build slides in HTML5 and CSS3.
vuvova/ann-benchmarks
Benchmarks of approximate nearest neighbor libraries in Python
vuvova/hassio-addons
My Home Assistant Add-ons
vuvova/jira-syntaxplugin
clone of https://bitbucket.org/hski/syntaxplugin-public/
vuvova/new-buildbot
buildbot.mariadb.org
vuvova/pereop-test
Pessimist-Realist-Optimist Test
vuvova/randgen
Random Query Generator (with MariaDB patches)