{"id":19842885,"url":"https://github.com/deemp/deemp","last_synced_at":"2026-03-04T03:01:53.036Z","repository":{"id":37339475,"uuid":"480935097","full_name":"deemp/deemp","owner":"deemp","description":"haskel golovnogo mozga","archived":false,"fork":false,"pushed_at":"2025-07-17T18:59:40.000Z","size":78,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-07-17T22:06:49.541Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/deemp.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-04-12T18:51:12.000Z","updated_at":"2025-07-17T18:59:44.000Z","dependencies_parsed_at":"2024-11-12T12:40:18.041Z","dependency_job_id":"8448df81-731d-4436-a1ac-6c2c0f3b1fe1","html_url":"https://github.com/deemp/deemp","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/deemp/deemp","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deemp%2Fdeemp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deemp%2Fdeemp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deemp%2Fdeemp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deemp%2Fdeemp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/deemp","download_url":"https://codeload.github.com/deemp/deemp/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/deemp%2Fdeemp/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30070479,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-04T01:03:42.280Z","status":"online","status_checked_at":"2026-03-04T02:00:07.464Z","response_time":59,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-12T12:35:56.268Z","updated_at":"2026-03-04T03:01:53.032Z","avatar_url":"https://github.com/deemp.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Two Minute CV\n\nDear fellow devs, this is my two-minute CV.\n\nMS'25 Software Engineering, Innopolis University.\n\nCurrently, I work at IU as a TA in SE courses for BS and MS students.\n\n## Software Engineering 🎯\n\n* [the-guide](https://github.com/inno-swp-2025/the-guide) - Guide for managing Scrum projects to pass several Innopolis University courses.\n\n## Nix ❄️\n\n* [cache-nix-action](https://github.com/nix-community/cache-nix-action#readme) - Cache and restore Nix Store in GitHub Actions to speed up workflows.\n\n* [nix-vscode-extensions](https://github.com/nix-community/nix-vscode-extensions) - Nix expressions for VSCode and OpenVSX extensions.\n\n* [terrafix](https://github.com/deemp/terrafix) - Generate Terraform files from DRY `Nix` expressions.\n\n## Haskell 🤓\n\n* [arbitrary-rank-tutorial](https://github.com/deemp/arbitrary-rank-tutorial) - A Tutorial Implementation of a Lambda Calculus with Parametric Predicative Arbitrary-Rank Polymorphism.\n\n* [nix-vscode-extensions](https://github.com/nix-community/nix-vscode-extensions) - Script that generates Nix expressions for VSCode and OpenVSX extensions.\n\n* [servant-queryparam](https://hackage.haskell.org/package/servant-queryparam-core) - Use records for query parameters in `servant` APIs.\n\n* [haskell-barlow-lens](https://hackage.haskell.org/package/barlow-lens) - Lens via string literals.\n\n* [breaking-news-org/back-end](https://github.com/breaking-news-org/back-end) -  News site API built using `servant`, `effectful`, `esqueleto`.\n\n* [simplex-cheat](https://github.com/deemp/projects/tree/main/haskell/simplex-cheat#readme) - An extremely simplified version of [simplex-chat](https://github.com/simplex-chat/simplex-chat#readme) with a server (`servant`) and clients talking to each other (`servant-client`) and configured via `Nix`. Concurrency - via `stm`, `stm-containers`.\n\n* [lima](https://github.com/deemp/lima#readme) - Convert `Haskell` (`.hs`) with `Markdown` comments to `Markdown` (`.md`) and between `Literate Haskell` (`.lhs`) and `Markdown` (`.md`).\n\n* [clerk](https://github.com/deemp/clerk#readme) - Declaratively generate spreadsheets ([Hackage](https://hackage.haskell.org/package/clerk)).\n\n## PureScript 🍝\n\n* [arigame](https://github.com/deemp/arigame) - An arithmetics game written in PureScript using Halogen, SASS, and Bootstrap 5.\n\n## Python 🥞\n\n* [songs2anki](https://github.com/deemp/songs2anki) - Generate Anki decks from song texts.\n\n* [elibrary](https://github.com/deemp/elibrary) - Electronic library of the Innopolis University.\n\n* [Ava-Day](https://github.com/RO-DIS/Ava-day) - Generate a pseudo-3D avatar.\n\n## Front end 🤕\n\n* [elibrary](https://github.com/deemp/elibrary) - Electronic library of the Innopolis University.\n\n* [mini-games](https://github.com/deemp/mini-games) - A calculator game written in `Typescript` + `Boostrap 5` for my sisters to practice arithmetical operations.\n\n* [eo-editor](https://github.com/deemp/eo-editor) - An online editor for the [EO](https://github.com/objectionary/eo) language.\n\n* [phi-editor](https://github.com/deemp/phi-editor) - An online editor for the Minimal [𝜑-calculus](https://arxiv.org/abs/2204.07454) language.\n\n## Elm 💀\n\n* [elm-graph-editor](https://github.com/deemp/elm-graph-editor) - An interactive graph editor written in `Elm`.\n\n## Logic programming 🤯\n\n* [Intro to AI Assignment](https://github.com/deemp/projects/tree/bf4d075601b3edd55a5145a49a2e6ac238025257/prolog/maze) - Find an optimal path in a grid maze via `SWI-Prolog`.\n\n## C++ 🤠\n\n* [Sanitator](https://codeforces.com/profile/sanitator) - I solved around 1K problems on Codeforces in `C++`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdeemp%2Fdeemp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdeemp%2Fdeemp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdeemp%2Fdeemp/lists"}