Mary's repositories
mimalloc-mc
Model checking of interesting mimalloc pieces with genmc
Russian-Phd-LaTeX-Dissertation-Template
LaTeX-template for russian Phd thesis
AAA-python
Homework assignments for Python course of Avito Analytics Academy
carbon-clickhouse
Graphite metrics receiver with ClickHouse as storage
inclickdb
Tagging graphite metrics for and with Clickhouse
backend-email-app
Flask + RabbitMQ + SQLAlchemy + some other Python libraries
calendar-backend
Backend for a google-like calendar
cockroach
CockroachDB - the open source, cloud-native distributed SQL database.
custom-exceptions
Implementation of exceptions in C++
docker-rabbit
Example of using rabbitmq with docker-compose
genmc
Generic model checker for concurrent C programs
go-chat
Simple golang implementation of chat-server
leighton-rao-algorithm
Project for computational complexity theory
mary3000.github.io
Personal web-page
mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
text-classifier
Abbyy 2 task
tinkoff_finance
Jupyter Notebook that visualizes your bank account data from Tinkoff csv file format
winapi2019
Для сдачи домашних заданий