📁 💻 File Manager with built-in VCS written in Haskell.

Proof-of-concept implementation of permissionless and asynchronous asset transfer.

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

KLEE Symbolic Execution Engine

⚡ Dynamically generated stats for your github readmes

Circuit compiler for zkSNARKs

🏗 forkable Ethereum dev stack focused on fast product iterations

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Вопросы и ответы к интервью Java разработчика

Кратко о синтаксисе Markdown на русском

Design patterns implemented in Java

Java library for working with VK API

"Операционные системы", ИТМО, весна 2019