VanianJH's starred repositories
BugDetectionPaper
Recent Paper About Bug Detection
concurrency-bugs
A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.
ConcurrencyPaper
Concurrency Paper
public-student-support-code
Public helper code for p423/p523 students (Racket)
C3D-tensorflow
C3D is a modified version of BVLC tensorflow to support 3D ConvNets.
cse291-program-synthesis
Program Synthesis Course
angular-seat-charts
Angular Seat Charts Generator
project-based-learning
Curated list of project-based tutorials
Statistical-Learning-Method_Code
手写实现李航《统计学习方法》书中全部算法
awesome-os
A list of operating systems and stuff
awesome-blockchain
A curated list of blockchain resources for developers
LeetCode-Go
✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解
blockchain-tutorial
:ear_of_rice: A step-by-step blockchain tutorial in simplified Chinese
awesome-all
All projects in the topic awesome scraped by See Urchin and post-processed by Firm.Watch AI/ML Filters
go-internals
dig into implemention of the go programming language
p423-compiler
A Scheme to x86-64 compiler in Scheme
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
Compiler-for-Scheme
The compiler for subset of scheme developed as part of P523