Gleb Koveshnikov's repositories

hashcode2020

Google Hashcode 2020 Online Qualification Round. 388 place of 10724

Language:C++Stargazers:4Issues:1Issues:0
Language:C++License:MITStargazers:3Issues:1Issues:0

mprobsat

merging variables technique + probSat

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

conan-center-index

Recipes for the ConanCenter repository

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0

cryptominisat

An advanced SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

csmt

Compact Sparse Merkle Trees

Language:C++License:MITStargazers:0Issues:2Issues:0

hashcode2022

Google Hashcode 2022 Online Qualification Round. 164 place of 9031

Language:C++Stargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:0Issues:0

pypika

PyPika is a python SQL query builder that exposes the full richness of the SQL language using a syntax that reflects the resulting query. PyPika excels at all sorts of SQL queries but is especially useful for data analysis.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

replyCodeChallenge

Reply Code Challenge 2020 - Teen Edition. 17 place of 1254, 5000/5000 points.

Language:C++Stargazers:0Issues:0Issues:0
Language:C++License:MITStargazers:0Issues:0Issues:0

ubbook

Путеводитель C++ программиста по неопределенному поведению

Stargazers:0Issues:0Issues:0

YouTokenToMe

Unsupervised text tokenizer focused on computational efficiency

Language:C++License:MITStargazers:0Issues:0Issues:0