Skip to content
View isubasinghe's full-sized avatar
👨‍🎓
Trying to study hard
👨‍🎓
Trying to study hard
71 followers · 56 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Highlights

Organizations

@argoproj
Block or Report

Block or report isubasinghe

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. sraft-rs sraft-rs Public

    An implementation of Raft. Used for distributed consensus (atomic broadcast), similar to Paxos, Apache Zookeeper's ZAB.

    Rust

  2. verus-lang/verus verus-lang/verus Public

    Verified Rust for low-level systems code

    Rust 976 46

  3. argo-workflows argo-workflows Public

    Forked from argoproj/argo-workflows

    Workflow engine for Kubernetes

    Go 2

  4. paxos-rs paxos-rs Public

    Formally verified implementation of Paxos for consensus in distributed systems.

    Rust 3

  5. bitdb bitdb Public

    Implementation of the bitcask paper

    Rust

  6. microc microc Public

    A (mostly) working C compiler

    Haskell 1