Skip to content
Avatar
  • Block or report user

    Block or report Theodus

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
31 followers · 2 following · 129

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@ponylang

Pinned

  1. jennet

    A simple HTTP web framework written in Pony

    Pony 73 6

  2. microsoft/snmalloc

    Message passing based allocator

    C++ 462 47

  3. ponylang/ponyup

    🐴 The Pony toolchain multiplexer

    Pony 154 7

  4. microsoft/verona

    Research programming language for concurrent ownership

    C++ 3k 128

  5. ponylang/ponyc

    🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    C 4.5k 379

  6. microsoft/CCF

    Confidential Consortium Framework

    C++ 415 103

845 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2021

Created 2 commits in 1 repository
Opened 2 pull requests in 1 repository
48 contributions in private repositories Jan 4 – Jan 18

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

You can’t perform that action at this time.