Skip to content
View deemp's full-sized avatar
41 followers · 6 following

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

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 πŸ’€

Logic programming 🀯

C++ 🀠

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

Pinned Loading

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

    Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

    Haskell 350 31

  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 129 21