Block or report user

Report or block jorpic

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Formal Methods
  • Moscow, Russia


@f-me @solid-rocks @DecentralizedEscrow

Popular repositories

  1. html2md

    Useless HTML to Markdown converter

    Go 2

  2. xxx

    Solve logic schemes with SMT

    Haskell 1

  3. dapple

    Forked from dapphub/dapple

    EVM contract system developer multitool

    JavaScript 1 1

  4. scratchpad

    bunch of useless files

    Haskell 1

  5. nn

    something with glonass and navigation

  6. object-models


119 contributions in the last year

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

Contribution activity

July 2018

Created a pull request in tamarin-prover/tamarin-prover that received 4 comments

Fix infinite loop while rendering graphs

When using Tamarin on a remote server over unstable connection it is easy to catch it looping forever (as n goes negative). Also this fixes timeout…

+4 −4 4 comments

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