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.

Nix ❄️

• 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.

Haskell 🤓

• 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).

PureScript 🍝

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

Python 🥞

• songs2anki - Generate Anki decks from song texts.

• elibrary - Electronic library of the Innopolis University.

• Ava-Day - Generate a pseudo-3D avatar.

Front end 🤕

• 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.

Elm 💀

• elm-graph-editor - An interactive graph editor written in Elm.

Logic programming 🤯

• Intro to AI Assignment - Find an optimal path in a grid maze via SWI-Prolog.

C++ 🤠

• Sanitator - I solved around 1K problems on Codeforces in C++.