This is a Two Minute CV with an Innopolis University MS'25 Danila Danko.

Today, we are going to look at some of my projects.

• cache-nix-action - Cache and restore Nix Store in GitHub Actions to speed up workflows.

• flakes - Nix flakes for tools that I use.

• devops-labs - DevOps course tasks solved via Nix.

• terrafix - Generate Terraform files from DRY Nix expressions.

• nix-vscode-extensions - script that generates Nix expressions for VSCode and OpenVSX extensions.

• eo-phi-normalizer - Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family).

• servant-queryparam - Use records for query parameters in servant APIs.

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

• codium-haskell - Nix flake template showing 5 ways to run a Haskell program + VSCodium with Haskell extensions.

• try-phi - back end of an online interpreter of 𝜑-calculus and EO language.

• nginx-clickhouse-hs - parse nginx logs based on log format and prepare them for loading into a database.

• repohs - a script for concurrent fetching, unpacking and counting lines in multiple repositories.

• ФП на языке Haskell (часть 2) - a course on Haskell that I almost finished.

• elibrary - electronic library of the Innopolis University.

• anki-decks/custom - a script for generating a custom Anki deck from song texts via spacy, pandas, and ChatGPT API.

• elibrary - electronic library of the Innopolis University.

• final project for the Blockchain elective course (unfinished).

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

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

• try-phi - front end of an online interpreter of 𝜑-calculus and EO language.

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

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

• projects - a monorepo with several projects.

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

• Computational Practicum - Plot IVP solutions.

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

• vforces - Shows the solutions to some Codeforces problems in V. Also, includes the setup instructions for a simple project in V language

• Innopolis