Skip to content

deemp/deemp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits
 
 

Repository files navigation

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.

Projects

  • projects - a monorepo with several projects.

  • elibrary - electronic library of the Innopolis University (WIP)

Haskell 🤓

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

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

  • br4ch1st0chr0n3 - several problems solved in Haskell on Codeforces

Nix

  • flakes - Nix flakes for tools that I use

  • devops-labs - DevOps course tasks solved via Nix

  • terrafix - Generate Terraform files from DRY Nix expressions.

PureScript

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

Front end 🤕

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

Elm

Logic programming 🤯

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

Innopolis

About

haskel golovnogo mozga

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published