Skip to content


  • Pro




  1. A Prototype Formal Semantics of WebAssembly in K

    WebAssembly 40 7

  2. CakeML: A Verified Implementation of ML

    Standard ML 590 53

  3. An extended brain of misc knowledge


  4. Cretes a strong master password by selecting random words and inserting special characters into them.


  5. Get your Ethereum and token balances as a simple script, suitable as a console start script.


725 contributions in the last year

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

Contribution activity

July 2020

Created a pull request in kframework/k-editor-support that received 2 comments

Spacemacs support

New features: Documentation how to add support for inline highlighting in Markdown for vanilla Emacs. Automatic support for inline highlighting in…

+157 −75 2 comments
10 contributions in private repositories Jul 2 – Jul 7

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

You can’t perform that action at this time.