Nikita Koval's repositories
concurrent-linked-deque-bug
Non-linearizability bug in Java's ConcurrentLinkedDeque discovered with Lincheck
HoardAllocator
malloc intercept example
cpp_splay_tree
Splay tree on typenames
kotlinx.atomicfu
The idiomatic way to use atomic operations in Kotlin
kotlinx.coroutines
Library support for Kotlin coroutines