Block or report user

Report or block ana-pantilie

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. k

    Forked from kframework/k

    K Framework Tools 5.0


  2. evm-semantics

    Forked from kframework/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)


  3. verified-smart-contracts

    Forked from runtimeverification/verified-smart-contracts

    Smart contracts which are formally verified


  4. ModelSoftSyst-Calculator

    School project


  5. UE-NetworkingDemo

    Demo for school project

  6. fastai

    Forked from fastai/fastai

    The fastai deep learning library, plus lessons and and tutorials

    Jupyter Notebook

29 contributions in the last year

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

Contribution activity

January 2019

Created a pull request in runtimeverification/verified-smart-contracts that received 1 comment

Add owner

Created a new branch with the spec for addOwnerWithThreshold

+181 −1 1 comment

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