Skip to content
Avatar
  • Russia, Saint Petersburg

Achievements

Achievements

Block or Report

Block or report neshkeev

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html

    Coq 5 7

  2. avaj Public

    Haskell influenced Category Theory patterns implemented in Java

    Java

  3. kotlin-arrow-demo Public archive

    Repository to demostrate the problem from stackoverflow https://stackoverflow.com/q/55786870/3686755

    Kotlin 1

  4. tdlib/td Public

    Cross-platform library for building Telegram clients

    C++ 4.7k 963

  5. Stepic-Haskell-Course Public archive

    Solution to the exercises from

    Haskell 2

164 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to JetBrains/intellij-community, neshkeev/cppipe, neshkeev/dotfiles and 2 other repositories

Contribution activity

May 2022

Created 3 commits in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.