Two Minute CV

Dear fellow devs, this is my two-minute CV.

MS'25 Software Engineering, Innopolis University.

Currently, I work at IU as a TA in SE courses for BS and MS students.

Software Engineering 🎯

the-guide - Guide for managing Scrum projects to pass several Innopolis University courses.

cache-nix-action - Cache and restore Nix Store in GitHub Actions to speed up workflows.
nix-vscode-extensions - Nix expressions for VSCode and OpenVSX extensions.
terrafix - Generate Terraform files from DRY Nix expressions.

arbitrary-rank-tutorial - A Tutorial Implementation of a Lambda Calculus with Parametric Predicative Arbitrary-Rank Polymorphism.
nix-vscode-extensions - Script that generates Nix expressions for VSCode and OpenVSX extensions.
servant-queryparam - Use records for query parameters in servant APIs.
haskell-barlow-lens - Lens via string literals.
breaking-news-org/back-end - News site API built using servant, effectful, esqueleto.
simplex-cheat - An extremely simplified version of simplex-chat with a server (servant) and clients talking to each other (servant-client) and configured via Nix. Concurrency - via stm, stm-containers.
lima - Convert Haskell (.hs) with Markdown comments to Markdown (.md) and between Literate Haskell (.lhs) and Markdown (.md).
clerk - Declaratively generate spreadsheets (Hackage).

arigame - An arithmetics game written in PureScript using Halogen, SASS, and Bootstrap 5.

elibrary - Electronic library of the Innopolis University.
mini-games - A calculator game written in Typescript + Boostrap 5 for my sisters to practice arithmetical operations.
eo-editor - An online editor for the EO language.
phi-editor - An online editor for the Minimal 𝜑-calculus language.