Sharjeel-Khan
Just keep committing, just keep committing
Georgia Institute of TechnologyAtlanta, Georgia
Pinned Repositories
ndk-samples
Android NDK samples with Android Studio
cs7641-project-group11
DDG
This is an implementation to generate dynamic dependence graphs using LLVM and DG tool. The implementation is based on Approach 1 and 2 from Hiralal Agrawal and Joseph R. Horg's Dynamic program slicing paper.
deom119.github.io-cs7641
financialCLF
Formalization of financial systems in linear logic
Kesa
MC9S12C128
In Spring 2016, I did 15-348 Embedded Systems so these are the assignments in the course.
ndk-samples
Android NDK samples with Android Studio
sharjeel-khan.github.io
Hey, this is basically my Portfolio webpage to show off my projects and my skills.
z3
The Z3 Theorem Prover
Sharjeel-Khan's Repositories
Sharjeel-Khan/DDG
This is an implementation to generate dynamic dependence graphs using LLVM and DG tool. The implementation is based on Approach 1 and 2 from Hiralal Agrawal and Joseph R. Horg's Dynamic program slicing paper.
Sharjeel-Khan/financialCLF
Formalization of financial systems in linear logic
Sharjeel-Khan/cs7641-project-group11
Sharjeel-Khan/deom119.github.io-cs7641
Sharjeel-Khan/Kesa
Sharjeel-Khan/MC9S12C128
In Spring 2016, I did 15-348 Embedded Systems so these are the assignments in the course.
Sharjeel-Khan/ndk-samples
Android NDK samples with Android Studio
Sharjeel-Khan/sharjeel-khan.github.io
Hey, this is basically my Portfolio webpage to show off my projects and my skills.
Sharjeel-Khan/z3
The Z3 Theorem Prover