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

6. github-education-resources/GitHubGraduation-2021 github-education-resources/GitHubGraduation-2021 Public archive

   Join the GitHub Graduation Yearbook and "walk the stage" on June 5.

   JavaScript 1.4k 7k