Skip to content
View Theodus's full-sized avatar
61 followers · 2 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@graphprotocol @edgeandnode @philly-stake
Block or Report

Block or report Theodus

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. jennet jennet Public

    A simple HTTP web framework written in Pony

    Pony 88 7

  2. microsoft/snmalloc microsoft/snmalloc Public

    Message passing based allocator

    C++ 1.5k 105

  3. ponylang/ponyup ponylang/ponyup Public

    The Pony toolchain multiplexer

    Pony 194 13

  4. microsoft/verona microsoft/verona Public

    Research programming language for concurrent ownership

    C++ 3.6k 163

  5. ponylang/ponyc ponylang/ponyc Public

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

    C 5.6k 410

  6. edgeandnode/gateway edgeandnode/gateway Public

    Graph Gateway

    Rust 6 2