Skip to content
Pro
Block or report user

Report or block sema

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@animekita @cs-au-dk
Block or report user

Report or block sema

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Forked from eth-sri/EventRacer

    A race detection tool for event driven applications.

    C++

  2. SAT Solver in Go

    Go

  3. Simple implementation of the Raft algorithm in Go

    Go

  4. E-mail queue as-a-service with multiple backends and strong guarantees (coding challenge)

    Python

30 contributions in the last year

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

Contribution activity

February 2020

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

You can’t perform that action at this time.