Skip to content
New exploration
New exploration


  • Arctic Code Vault Contributor
  • Pro




  1. ChakraCore is the core part of the Chakra JavaScript engine that powers Microsoft Edge

    JavaScript 8.3k 1.2k

  2. Various organizational content (meetings, previews, etc)

    1 1

  3. Forked from isocpp/CppCoreGuidelines

    The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++


  4. Forked from aalhour/awesome-compilers

    😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

  5. Forked from danistefanovic/build-your-own-x

    🤓 Build your own (insert technology here)

  6. Forked from jldodds/coq-lean-cheatsheet

    A quick reference for mapping Coq tactics to Lean tactics


282 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to ShevaBrothers/vk-app, microsoft/ChakraCore, softindex/datakernel and 5 other repositories

Contribution activity

October 2020

23 contributions in private repositories Oct 1 – Oct 21

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

You can’t perform that action at this time.