Skip to content
View AlgebraicWolf's full-sized avatar
🐺
awoooo
🐺
awoooo
22 followers · 22 following
  • PL Trickster
  • Moscow

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Organizations

@cache-invalidation

Block or report AlgebraicWolf

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
AlgebraicWolf/README.md

👋 Hi there

My name is Aleksei Volkov, and I am a developer from Russia. Currently I am studying Engineering & Computer Science.

I am interested in Functional Programming and applications of Type Theory, though this is not the only focus of my projects.

💻 Technologies I use

C C++ nasm LaTeX Markdown Haskell Idris Dart Flutter

🏆 Hackathons

Hackathon Dates Result
Hack.Genesis_ONLINE_ (BCS) 29-30 Oct 2020 🥇
Hack.Genesis_ONLINE_ (Oprosso) 16-18 Apr 2021 🥇
Leaders of Digital - Creative Industries (Ministry of Culture of the Samara Region) 20-22 Aug 2021 🥇
Leaders of Digital - Finale (Rostelecom) 2-4 Dec 2021 🥇
Russian Post Grant

Check out some of my repos and don't hesitate to contact me. 

                                           .-'''''-.
                                         .'         `.
                                        :             :
                                       :               :
                                       :      _/|      :
                                        :   =/_/      :
                                         `._/ |     .'
                                      (   /  ,|...-'
                                       \_/^\/||__
                                    _/~  `""~`"` \_
                                 __/  -'/  `-._ `\_\__
                               /jgs  /-'`  `\   \  \-.\

Pinned Loading

  1. Shishqa/distributed-optimization Shishqa/distributed-optimization Public

    Python 2 1

  2. caos-seminars caos-seminars Public

    Seminar code snippets & Additional materials for Computer Architecture & Operating Systems Course

    C 1 1

  3. rust-bang-notation rust-bang-notation Public

    !-notation for Rust

    Rust 1