Pinned

1. SatPie SatPie Public

   SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

   Jupyter Notebook 19 4

2. Notes Notes Public

   Handwritten Gate Notes

   9 2

3. ProTutor ProTutor Public

   It's a android app where user can learn and improve his/her prononciation. This app has three levels, basic, intermediate and advance. Each level has some words. GUI has the following screens: 1. …

   C++

4. Chat App -Firebase Chat App -Firebase

   1

   <?xml version="1.0" encoding="utf-8"?>

   2

   <manifest xmlns:android="http://schemas.android.com/apk/res/android"

   3

       package="com.example.harsh.freechat">

   4

   5

       <uses-permission android:name="android.permission.READ_EXTERNAL_STORAGE" />

5. Disang Disang Public

   Disang Hostel Site

   JavaScript 1

6. Hi5 Hi5 Public

   Java