Xingyu Xie (@namasikanam)
github

namasikanam

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    64
  • Global Rank 286,771 (Top 10 %)
  • Followers 158
  • Following 238
  • Registered about 8 years ago
  • Most used languages
    C++
         37.5 %
    Assembly
         12.5 %
    JavaScript
         12.5 %
    Python
         12.5 %
    Coq     12.5 %
    Smalltalk
         12.5 %
  • Location ๐Ÿ‡จ๐Ÿ‡ณ China
  • Country Total Rank 29,217
  • Country Ranking
    Coq     18
    Smalltalk
         19
    Assembly
         139
    C++
         7,686

Top repositories

1

shareOI

ๆˆ‘็š„OI่ฏพไปถ
12
star
2

CertiCore

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

raft-spin

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

PurpleBase

A DBMS for course Introduction to Database Management System, 2019 Autumn, Tsinghua University
C++
4
star
5

Arouq

A knowledge search engine, as course project of Fundamentals of Search Engine Technology, 2020 Spring, Tsinghua University
JavaScript
3
star
6

BurningRIP

Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University
C++
2
star
7

Solutions-of-Software-Foundations

Personal solutions of Software Foundations
Coq
2
star
8

Sentiment-Classification

Assignment 3 for Introduction to Artificial Intelligence, Tsinghua University
Python
1
star
9

TomasuloSimulator

Course Project #2 for Computer Architecture, 2020 Spring, Tsinghua University
C++
1
star
10

learn-badge

1
star
11

learn-action

Smalltalk
1
star