SergMariaDB

Secondary GitHub account (see https://github.com/ohhmm)

LogitechLviv

Pinned Repositories

llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM28.3k 581 76.5k11.7k
mariadb-connector-c
MariaDB Connector/C is used to connect applications developed in C/C++ to MariaDB and MySQL databases.The client library is LGPL licensed.
Language:C280 70 0258
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.
Language:C++5.6k 268 01.7k
vscode
Visual Studio Code
Language:TypeScript163k 3.3k 184k28.8k
generator
Generator of datasets
Language:C++1 0 00
libjpeg-turbo
Main libjpeg-turbo repository
Language:C0 0 00
mariadb-connector-c
MariaDB Connector/C is used to connect applications developed in C/C++ to MariaDB and MySQL databases.The client library is LGPL licensed.
Language:C0 0 00
openmind
Deduction framework with arbitrary mathematical system solver.
Language:C++1 0 00
skrypt
Language:C++0 0 00
z3
The Z3 Theorem Prover
Language:C++0 0 00

SergMariaDB/generator
Generator of datasets
Language:C++1 0 00
SergMariaDB/openmind
Deduction framework with arbitrary mathematical system solver.
Language:C++1 0 00
SergMariaDB/libjpeg-turbo
Main libjpeg-turbo repository
Language:C0 0 00
SergMariaDB/mariadb-connector-c
MariaDB Connector/C is used to connect applications developed in C/C++ to MariaDB and MySQL databases.The client library is LGPL licensed.
Language:C0 0 00
SergMariaDB/skrypt
Language:C++0 0 00
SergMariaDB/z3
The Z3 Theorem Prover
Language:C++0 0 00