Pinned Loading

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 21 4

2. Placement-Portal-Scrapper-IITG Placement-Portal-Scrapper-IITG Public

   Continuously scans IITG placement Portal and whenever a new company is added triggers a E-mail notification so that you can relax tension-free and keep preparing for placements.

   Python 3 3

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. Notes Notes Public

   Handwritten Gate Notes

   8 2