yqyq-w's Stars
jeanqasaur/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
happygirlzt/algorithm-illustrations
The illustrations from the YouTube channel: happygirlzt.
tensor-compiler/taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
SimplifyJobs/Summer2025-Internships
Collection of Summer 2025 tech internships!
viperproject/silver
Definition of the Viper intermediate verification language.
clarksmr/sf-lectures
Software Foundations
lotuc/PLAI-cn
Programming Languages: Application and Interpretation
shining1984/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
keineahnung2345/leetcode-cpp-practices
Including problem statement, solution, runtime and complexity analysis.
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
facebook/folly
An open-source C++ library developed and used at Facebook.
facebook/hhvm
A virtual machine for executing programs written in Hack.
talent-plan/tinykv
A course to build distributed key-value service based on TiKV model
leungwensen/cbc-ubuntu-64bit
Cb (C flat) compiler. Cb is simplified C.
talent-plan/tinysql
A course to build the SQL layer of a distributed database.
wisdompeak/LeetCode
This repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The problems attempted multiple times are labelled with hyperlinks.
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
foxsen/archbase
教科书《计算机体系结构基础》(胡伟武等,第三版)的开源版本
root-project/cling
The cling C++ interpreter
pascal-lab/Tai-e-assignments
Tai-e assignments for static program analysis
CyC2018/CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计