HiragiChi

HiragiChi's Stars

• skyleaworlder/paper-reading

  :page_with_curl: 论文阅读记录 (Software Engineering - Program Analysis & Testing & Verification)

  5

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k435

• PasqualeTurin/Geo-ER

  Code for 'Geospatial Entity Resolution' paper (WWW 2022)

  Language:Python153

• ztress/csci5801

  CSCI 5801 - Software Engineering

  Language:Java1

• GJDuck/LowFat

  Lean C/C++ Bounds Checking with Low-Fat Pointers

  Language:C++17628

• Illumine-Labs/GreatMaster

  Master, help us to awaken and enlighten. 大师，我悟了。

  27512

• UMN-Kernel-Object/documentation

  Language:TeX71

• alecthw/mmdb_china_ip_list

  Geoip MaxMind Database for china ip list! This is also an example of generating MaxMind Database!

  Language:Go1k75

• linuxboot/heads

  A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.

  Language:Makefile1.4k185

• hfthair/gre_prepare

  Language:Python8

• HiragiChi/linuxboot

  SJTU 2020

  Language:Shell2

• listen1/listen1_desktop

  one for all free music in china (Windows, Mac, Linux desktop)

  Language:JavaScript9.9k1.4k

• d2l-ai/d2l-zh

  《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

  Language:Python61.3k10.9k