A course about Unix-like operating systems and shell programming with interesting practical tasks. I am the primary author of the course. It has already received positive feedback from students, yet more chapters and tasks are coming soon.
A Rust framework for making Telegram bots. It abstracts the hard parts away, providing you with a nice API. It fully implements Bot API and is powered by futures.
A miniKanren dialect in Haskell. Its distinct features are static typing and exhaustive pattern matching. I have presented it at the JointMETA seminar in Russia, and a paper has been accepted for miniKanren 2024.
Wubix is a web app that resembles a Unix-like OS, written in Rust using WebAssembly. You can write your own programs for it, compile and run them in Wubix.
A powerful editor of themes for Telegram for Android, while also easy-to-use. It features tabs, search through variables, color palettes, variable previews and many other features.
Using Anonymous Feedback, a teacher can collect feedback from students right during the class anonymously. It was a team project at Innopolis University, and I coded the website as well as designed it.