tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.
Pittsburgh, PA
Pinned Repositories
Approxiamate-Logic-Synthesis
An inovative approach to cut down chip size by approximating the original circuit.
EECS345-CASE-Javish
An interpreter for a java-like language written in scheme for EECS 345 in Case Western
GirlsFrontline-Assistant
A tool for GirlsFrontline for automating some tedious steps. Using ADB, OpenCV and some other tools
oak
A compiler / static analysis tool that targets a language that is a superset of Elm.
SmartCar_K60_TeamBLANK
The K60 base for the SmartCar
tripack45.github.io
Personal Home Page is not in PHP (PHP is not in PHP)
UMJI-VE482
VE482 Operating Systems @ SJTU-UM Joint Institutue
VE280-Notes
Recitation class lecture notes for VE280
VG101-Local-Manual-Judgement
A local manual judgement system, Intended to speed up judgement by eliminating copying and pasting folders and files.
VG101_SU16-15
Course VG101, UMJI, taught by Manuel Charlemagne
tripack45's Repositories
tripack45/VE280-Notes
Recitation class lecture notes for VE280
tripack45/VG101_SU16-15
Course VG101, UMJI, taught by Manuel Charlemagne
tripack45/GirlsFrontline-Assistant
A tool for GirlsFrontline for automating some tedious steps. Using ADB, OpenCV and some other tools
tripack45/UMJI-VE482
VE482 Operating Systems @ SJTU-UM Joint Institutue
tripack45/EECS345-CASE-Javish
An interpreter for a java-like language written in scheme for EECS 345 in Case Western
tripack45/oak
A compiler / static analysis tool that targets a language that is a superset of Elm.
tripack45/tripack45.github.io
Personal Home Page is not in PHP (PHP is not in PHP)
tripack45/SmartCar_K60_TeamBLANK
The K60 base for the SmartCar
tripack45/VG101-Local-Manual-Judgement
A local manual judgement system, Intended to speed up judgement by eliminating copying and pasting folders and files.
tripack45/abbot
Generation of abstract binding trees
tripack45/blog-blobdump
Blobs for the blog
tripack45/browserpass-native
Browserpass native client app
tripack45/decl-tex-tables
Declarative way of generating LaTex tables
tripack45/dyhw
Homework for Dongyue Web Spring.
tripack45/EECS341-Case-Watt
Course project for EECS3341 Database. A steam info extractor
tripack45/tripack45
Config files for my GitHub profile.
tripack45/UMJI-VG101-Project_FoR
A class project for VG101@UMJI-SJTU. Teammates pending..
tripack45/VE490-Approximate-Computing