Skip to content


  • Arctic Code Vault Contributor
  • Pro


@kframework @Formal-Systems-Laboratory


  1. K Framework Tools 5.0

    Java 172 69

  2. K Semantics of the Ethereum Virtual Machine (EVM)

    Makefile 258 90

  3. RV-Monitor core system code

    Java 11 8

  4. Runtime verification system for Java, using AspectJ for instrumentation.

    Java 23 21

  5. Logic/Type Theory Related Notes

    TeX 1

341 contributions in the last year

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

Contribution activity

September 2020

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

You can’t perform that action at this time.