The command-line frontend to transactional consistency checkers for black-box databases

A clock made with using time quotes from literature

Lua 5.1 C API manual pages

Lua C API tests

A clock made with using time quotes from literature

Framework for distributed system's verification, with fault injection.

semgrep rules for flakiness, missed error handling and antipatterns.

My experiments and snippets

Formal specifications

Основы программной инженерии (SWEBOK 2004 на русском) в EPUB и HTML

A FUSE-based fault injection filesystem