Pinned Repositories
awesome-cheatsheets
超级速查表 - 编程语言、框架和开发工具的速查表,单个文件包含一切你需要知道的东西 :zap:
cs231n
My solutions to Stanford cs231n computer vision course
gc-demo
Grad-School-Code
Some Code from my Grad School Courses
historical
Some educational code written 10+ years ago at IU
jit-demo
Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
maxas
Assembler for NVIDIA Maxwell architecture
miaow
An open source GPU based off of the AMD Southern Islands ISA.
NyuziProcessor
GPGPU microprocessor architecture
bubuface0802's Repositories
bubuface0802/awesome-cheatsheets
超级速查表 - 编程语言、框架和开发工具的速查表,单个文件包含一切你需要知道的东西 :zap:
bubuface0802/cs231n
My solutions to Stanford cs231n computer vision course
bubuface0802/gc-demo
bubuface0802/Grad-School-Code
Some Code from my Grad School Courses
bubuface0802/historical
Some educational code written 10+ years ago at IU
bubuface0802/jit-demo
bubuface0802/Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
bubuface0802/maxas
Assembler for NVIDIA Maxwell architecture
bubuface0802/miaow
An open source GPU based off of the AMD Southern Islands ISA.
bubuface0802/NyuziProcessor
GPGPU microprocessor architecture
bubuface0802/os-tutorial
How to create an OS from scratch
bubuface0802/p423-compiler
A Scheme to x86-64 compiler in Scheme
bubuface0802/Pearl
C311 Spring 2022
bubuface0802/yin
the Yin programming language
bubuface0802/YinWangBak
A collection of articles written by YinWang
bubuface0802/ykanren
miniKanren with a constraint-based negation operator
bubuface0802/yscheme
a compiler from a subset of Scheme into X64
bubuface0802/yscheme-1
A compiler from Scheme into X64 from yin's repo