Skip to content
View namasikanam's full-sized avatar
Wait to be discovered.
Wait to be discovered.
  • Tsinghua University
  • Beijing, China


Block or Report

Block or report namasikanam

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


  1. shareOI shareOI Public


    16 2

  2. CertiCore CertiCore Public

    An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University

    Assembly 9 1

  3. heheda12345/BurningRouter heheda12345/BurningRouter Public

    Project of Computer Network & Computer Organization, Tsinghua University, 2019 autumn; A hardware router (hardware part)

    VHDL 8 1

  4. raft-spin raft-spin Public

    A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

    11 2

  5. decaf-lang/minidecaf-tutorial decaf-lang/minidecaf-tutorial Public

    The MiniDecaf tutorial documentation.

    Shell 88 16

  6. thufv/CMinor-Verifier thufv/CMinor-Verifier Public

    2022 年春季学期清华大学《软件分析与验证》课程实验平台

    C# 189 20