https://github.com/deemp/deemp
haskel golovnogo mozga
https://github.com/deemp/deemp
Last synced: 4 months ago
JSON representation
haskel golovnogo mozga
- Host: GitHub
- URL: https://github.com/deemp/deemp
- Owner: deemp
- Created: 2022-04-12T18:51:12.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2025-07-17T18:59:40.000Z (11 months ago)
- Last Synced: 2025-07-17T22:06:49.541Z (11 months ago)
- Size: 76.2 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 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](https://github.com/inno-swp-2025/the-guide) - Guide for managing Scrum projects to pass several Innopolis University courses.
## Nix ❄️
* [cache-nix-action](https://github.com/nix-community/cache-nix-action#readme) - Cache and restore Nix Store in GitHub Actions to speed up workflows.
* [nix-vscode-extensions](https://github.com/nix-community/nix-vscode-extensions) - Nix expressions for VSCode and OpenVSX extensions.
* [terrafix](https://github.com/deemp/terrafix) - Generate Terraform files from DRY `Nix` expressions.
## Haskell 🤓
* [arbitrary-rank-tutorial](https://github.com/deemp/arbitrary-rank-tutorial) - A Tutorial Implementation of a Lambda Calculus with Parametric Predicative Arbitrary-Rank Polymorphism.
* [nix-vscode-extensions](https://github.com/nix-community/nix-vscode-extensions) - Script that generates Nix expressions for VSCode and OpenVSX extensions.
* [servant-queryparam](https://hackage.haskell.org/package/servant-queryparam-core) - Use records for query parameters in `servant` APIs.
* [haskell-barlow-lens](https://hackage.haskell.org/package/barlow-lens) - Lens via string literals.
* [breaking-news-org/back-end](https://github.com/breaking-news-org/back-end) - News site API built using `servant`, `effectful`, `esqueleto`.
* [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`.
* [lima](https://github.com/deemp/lima#readme) - Convert `Haskell` (`.hs`) with `Markdown` comments to `Markdown` (`.md`) and between `Literate Haskell` (`.lhs`) and `Markdown` (`.md`).
* [clerk](https://github.com/deemp/clerk#readme) - Declaratively generate spreadsheets ([Hackage](https://hackage.haskell.org/package/clerk)).
## PureScript 🍝
* [arigame](https://github.com/deemp/arigame) - An arithmetics game written in PureScript using Halogen, SASS, and Bootstrap 5.
## Python 🥞
* [songs2anki](https://github.com/deemp/songs2anki) - Generate Anki decks from song texts.
* [elibrary](https://github.com/deemp/elibrary) - Electronic library of the Innopolis University.
* [Ava-Day](https://github.com/RO-DIS/Ava-day) - Generate a pseudo-3D avatar.
## Front end 🤕
* [elibrary](https://github.com/deemp/elibrary) - Electronic library of the Innopolis University.
* [mini-games](https://github.com/deemp/mini-games) - A calculator game written in `Typescript` + `Boostrap 5` for my sisters to practice arithmetical operations.
* [eo-editor](https://github.com/deemp/eo-editor) - An online editor for the [EO](https://github.com/objectionary/eo) language.
* [phi-editor](https://github.com/deemp/phi-editor) - An online editor for the Minimal [𝜑-calculus](https://arxiv.org/abs/2204.07454) language.
## Elm 💀
* [elm-graph-editor](https://github.com/deemp/elm-graph-editor) - An interactive graph editor written in `Elm`.
## Logic programming 🤯
* [Intro to AI Assignment](https://github.com/deemp/projects/tree/bf4d075601b3edd55a5145a49a2e6ac238025257/prolog/maze) - Find an optimal path in a grid maze via `SWI-Prolog`.
## C++ 🤠
* [Sanitator](https://codeforces.com/profile/sanitator) - I solved around 1K problems on Codeforces in `C++`.