Skip to content
View deemp's full-sized avatar

Organizations

@polystat @Inno-Notes @Robokeks @objectionary

Block or report deemp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
deemp/README.md

Dear fellow devs

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.

Nix ❄️

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

Haskell 🤓

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

Python 🥞

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

Front end 🤕

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

PureScript 🍝

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

Logic programming 🤯

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

Miscellaneous projects 📂

  • projects - a monorepo with several projects.

OOP and GUI 👀

Low-level programming 🤠

  • 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

University courses 👨‍🎓

Pinned Loading

  1. nix-community/nix-vscode-extensions nix-community/nix-vscode-extensions Public

    Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

    Haskell 279 21

  2. nix-community/cache-nix-action nix-community/cache-nix-action Public

    Cache Nix Store in GitHub Actions to speed up workflows [maintainer=@deemp]

    TypeScript 71 11