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 viaNix
. -
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 viaNix
. Concurrency - viastm
,stm-containers
. -
lima - convert
Haskell
(.hs
) withMarkdown
comments toMarkdown
(.md
) and betweenLiterate Haskell
(.lhs
) andMarkdown
(.md
). -
codium-haskell -
Nix
flake template showing 5 ways to run aHaskell
program +VSCodium
withHaskell
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. -
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