VadimPlh/Arrival
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
I am interested in distributed system, concurrency, TLA+ and databases
Repositories
VadimPlh/txperf
testing performance of redpanda / kafka transactions
VadimPlh/Telegram-Bot
VadimPlh/chaos
VadimPlh/Functional-Programming-MIPT
VadimPlh/si-testing
VadimPlh/coproc-testing
VadimPlh/deployment-automation
Cluster configuration best practices
VadimPlh/redpanda
Redpanda is the real-time engine for modern apps.
VadimPlh/v8
The official mirror of the V8 Git repository
VadimPlh/v8-with-seastar
VadimPlh/alien_thread
Tools for interoperating with native threads from Seastar
VadimPlh/wasm-engines
VadimPlh/GOS
VadimPlh/shiny-tribble
VadimPlh/zookeeper-cpp
A ZooKeeper client for C++.
VadimPlh/ClickHouse
ClickHouse is a free analytic DBMS for big data.
VadimPlh/cassandra
Mirror of Apache Cassandra
VadimPlh/Concepts-Of-Programming-Languages-MIPT
VadimPlh/Linguistics-MIPT
VadimPlh/Computational-Complexity-MIPT
Практикум по "Сложность вычислений"
VadimPlh/Machine-Learning
VadimPlh/mipt-java-2016
Практическая часть курса "Программирование на Java", 2016 год