Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Implementation of Belarusian crypto standards in Agda

    Agda 1

  2. Agda FFI bindings to Haskell ByteString and Word8.


  3. Haskell FFI bindings to [bee2]( library.


  4. Agda FFI bindings to Haskell [bee2-hs]( library.


  5. Simple ASN1 in agda


143 contributions in the last year

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

Contribution activity

December 2020

semenov-vladyslav has no activity yet for this period.

November 2020

Created 3 commits in 1 repository

Created a pull request in agievich/bee2 that received 1 comment

Reviewed 1 pull request in 1 repository
iotaledger/streams 1 pull request
Opened 3 issues in 1 repository

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

You can’t perform that action at this time.