Skip to content




@NixOS @vyorkin-personal @vyorkin-forks @vyorkin-archive @vyorkin-play
Block or Report

Block or report vyorkin

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

telegram badge Twitter URL

What’s up? 👋

My name is Vasiliy.

🏢 Currenlty I'm doing a blockchain development with the Substrate framework

❤️ Rust, Haskell, PureScript, OCaml and Coq

🔥 A big Nix and NixOS fan

🤓 Also interested in statically typed functional programming, compilers, type theory and formal verification

Contacts 📫

  • Drop a mail at
  • The public key on Keybase can be used to send encrypted email
  • I am vyorkin on reddit, SO, freenode, FP-slack, discord and a few other places

🌍 Moscow, Russia


  1. tiger Public

    🚧 A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.

    OCaml 14 1

  2. haskbot Public

    🚧 Haskell interpreter telegram bot. WIP.

    Haskell 9

  3. coq-fv Public

    🚧 My notes and solutions to Coq course by Anton Trunov (source: in 2019. WIP.

    Coq 2

  4. 🚧 Repo to keep track of my notes and solutions to the Mathematical components book.

    Coq 1

  5. 🚧 Working through the SF using ssreflect

    Coq 1

  6. plfa Public

    🚧 Repo to keep track of my progress working through the PLFA.


410 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

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