Popular repositories Loading

1. Lamport-Mutual-Exclusion-algorithm-in-TLA Lamport-Mutual-Exclusion-algorithm-in-TLA Public

   Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.

   TLA 1

2. vivek-bansal-VB.github.io vivek-bansal-VB.github.io Public

   CSS 1

3. Kernel-Debugging-using-Hacking-options Kernel-Debugging-using-Hacking-options Public

   Incorporated modules like Spinlock, Slab Debugging, Deadlock Detection, Detect Workqueue Stall, Detect Stack Overflow, Soft Lockup to catch different bugs in the Linux kernel.

   C 1

4. Google-Analytics-Customer-Revenue-Prediction Google-Analytics-Customer-Revenue-Prediction Public

   Predicted customer revenue on google store using Light GBM gradient boosting algorithm. Also analyzed the features importance by comparing RMSE on different permutations of row values of features.

   Jupyter Notebook

5. New-York-Taxi-Fare-Predictions New-York-Taxi-Fare-Predictions Public

   Predicted New York taxi fares using Random Forest Regressor model.

   Jupyter Notebook

6. Analysis-of-Algorithms-1 Analysis-of-Algorithms-1 Public

   Graphs and Time Complexity