Debargha Ganguly

proofofthought. Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

AshokaComputationalPhysics. Ashoka's Physics Society's repository containing open source builds, course capstone research projects and a few very interesting assignments which can be used to supplement coursework.

forte. Official Implementation for Forte: Finding Outliers using Representation Typicality Estimation (ICLR 2025)

desiTesla. Hacky self-driving car made with an RC car, a raspberry pi, a camera and too much free time.

forte-api. Python

Project_Basics. Project Basics was started towards the general goal of creating innovative solutions to improve the quality of living of underprivileged individuals in developing and underdeveloped countries.

Vehicle_detection_OpenCV. A classifier to detect vehicles on highways using OpenCV and Python. Can be used for traffic analytics.

OpenPhy-Tracker. Physics+ Computer Vision = The goal is to be able to detect and track objects in the frame, to gain insights into the system behaviour.

Zepper. Zepper is a fun and simple ( experimental ) asynchronous WSGI web server.

umich-eecs-598. Mirror of slides from EECS-598, all credit to Justin Johnson

Ashoka_SelfDrivingCar. An attempt at making a self driving car, capable of driving around the Ashoka University Campus.