yiqing's repositories
500lines
500 Lines or Less
awesome-distributed-system-projects
🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
boogie
Boogie
cpp-cheat-sheet
C++ Syntax, Data Structures, and Algorithms Cheat Sheet
ctf-wiki
Come and join us, we need you!
dragon-book-exercise-answers
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。
eleet_camel
Collection of solutions to LeetCode problems (in OCaml)
gdown
Download a large file from Google Drive (curl/wget fails because of the security notice).
graphics-workshop
Learn computer graphics by writing GPU shaders!
home
Template by Hashir Shoaib.
hw00-intro-base
A brief intro to the world of WebGL
klee
KLEE Symbolic Execution Engine
learnhaskell
Learn Haskell
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
news-crawl
News crawling with StormCrawler - stores content as WARC
PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
raytracing.github.io
Main Web Site (Online Books)
Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Tai-e-assignments
Tai-e assignments for static program analysis
tinyrenderer
A brief computer graphics / rendering course
understanding-clang-llvm
Repository for understanding and writing LLVM passes.
WhatWeb
Next generation web scanner