VadimPlh

Vadim Plakhtinskiy's repositories

Arrival

How to use TLA+ / TLA+ specification of the ClickHouse replication protocol

Language:TLA16 60

Functional-Programming-MIPT

Language:F#4 20

Machine-Learning

Language:Jupyter Notebook2 20

Programming-MIPT

Language:C++2 20

Telegram-Bot

Language:Python2 2 1

Database-MIPT

Language:Jupyter Notebook1 20

GOS

Language:C++1 20

alien_thread

Tools for interoperating with native threads from Seastar

Language:C++010

cassandra

Mirror of Apache Cassandra

Language:JavaApache-2.0020

redpanda

Redpanda is the real-time engine for modern apps.

Language:C++000

chaos

Language:Python000

ClickHouse

ClickHouse is a free analytic DBMS for big data.

Language:C++NOASSERTION030

Computational-Complexity-MIPT

Практикум по "Сложность вычислений"

Language:Jupyter Notebook020

Concepts-Of-Programming-Languages-MIPT

Language:C++030

coproc-testing

Language:Shell020

deployment-automation

Cluster configuration best practices

Language:HCLApache-2.0010

Linguistics-MIPT

Language:Jupyter Notebook000

mipt-java-2016

Практическая часть курса "Программирование на Java", 2016 год

Language:Java020

shiny-tribble

Language:Python020

si-testing

Language:Shell020

txperf

testing performance of redpanda / kafka transactions

Language:Python000

v8

The official mirror of the V8 Git repository

Language:C++NOASSERTION010

v8-with-seastar

Language:C020

wasm-engines

Language:C++020

zookeeper-cpp

A ZooKeeper client for C++.

Language:C++Apache-2.0010