Popular repositories Loading

1. DDG DDG Public

   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 sli…

   C++ 5 1

2. financialCLF financialCLF Public

   Formalization of financial systems in linear logic

   Makefile 3 1

3. sharjeel-khan.github.io sharjeel-khan.github.io Public

   Hey, this is basically my Portfolio webpage to show off my projects and my skills.

   CSS

4. MC9S12C128 MC9S12C128 Public

   In Spring 2016, I did 15-348 Embedded Systems so these are the assignments in the course.

   C

5. Kesa Kesa Public

   Forked from yelsayed/Kesa

   JavaScript

6. cs7641-project-group11 cs7641-project-group11 Public

   Jupyter Notebook