Skip to content
View 11Takanori's full-sized avatar
💭
🐤
💭
🐤

Highlights

  • Pro

Block or report 11Takanori

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 Loading

  1. raft-maude raft-maude Public

    Formal Specification and Model Checking of Raft in Maude

    2 1

  2. mml mml Public

    OCaml 1 1

  3. rust-lisp rust-lisp Public

    Rust

  4. rtc rtc Public

    Rust

  5. actix-web-clean-architecture-sample actix-web-clean-architecture-sample Public

    Rust 38 7

  6. raft-rs raft-rs Public

    Forked from tikv/raft-rs

    Raft distributed consensus algorithm implemented in Rust.

    Rust