Nikita Mikhaylov's repositories
mipt-algorithms-and-data-structures
Some tasks of the first and second semesters at the course "Algorithms and Data Structures"
ClickHouse
ClickHouse is a free analytic DBMS for big data.
Arrival
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
ded32-system-programming
system programming course with @ded32_ru
differential-evolution
A Differential Evolution method implementation for MIPT Optimisation Methods course.
folly
An open-source C++ library developed and used at Facebook.
FormalLanguages
Практикум по формальным языкам.
JavaBestPractices
SBT Homework
kubefwd
Bulk port forwarding Kubernetes services for local development.
Markdown-Cheatsheet
Кратко о синтаксисе Markdown на русском
mipt-java-2017
java course at mipt
NetworkAfterparty
Last tasks
orc
Mirror of Apache Orc
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
pocketfft
Fork of https://gitlab.mpcdf.mpg.de/mtr/pocketfft to simplify external contributions
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
ThreeCategoryAbstractFactory
Second hometask for MetaProgramming course at MIPT.
TypeTraitsFunctorVisitor
Third task on metaprogramming course.