Skip to content
View afetisov's full-sized avatar

Block or report afetisov

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

Popular repositories Loading

  1. HoTT HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Coq

  2. HottCat HottCat Public

    An experimental implementation of categories in homotopy type theory

    Coq

  3. c2rust c2rust Public

    Forked from immunant/c2rust

    Migrate C code to Rust

    Rust

  4. tonic tonic Public

    Forked from hyperium/tonic

    A native gRPC client & server implementation with async/await support.

    Rust

  5. rust rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust

  6. cpp-vs-rust cpp-vs-rust Public

    Forked from quick-lint/cpp-vs-rust

    Rust