Skip to content
View rinshankaihou's full-sized avatar
🌰
🌰
  • 04:30 (UTC -06:00)

Block or report rinshankaihou

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. pathway_finding_verification pathway_finding_verification Public

    Correctness proof of a pathway finding algorithm in Coq.

    Coq 3 1

  2. VST VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq 2

  3. rust-html-renderer rust-html-renderer Public

    Prototype of a renderer that produce lifetime-annotated html from rust source code and RLS response.

    1 1

  4. rust-analyzer rust-analyzer Public

    Forked from rust-lang/rust-analyzer

    An experimental Rust compiler front-end for IDEs

    Rust

  5. ui-for-pl ui-for-pl Public

    Forked from fplab/ui-for-pl

    User Interfaces for Programming Languages: The Compendium

    TeX

  6. wormhole wormhole Public

    Forked from bitslab/wormhole

    Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)

    C