Mohit Gupta's repositories
Engineering_Drawing_Software_tool
An Engineering Drawing tool for interactive 3D to 2D conversion and vice-versa.
Blackjack_MDP
Project to solve the Blackjack game to compute the best play in each state. The best play is defined as the action (hit/stand/double/split) that maximizes the expected return.
Case-Studies-EVM-Electronic-Voting-Machine-and-PDS-Public-Distribution-System
This case study analysis the current Public Distribution System(PDS), work out a detailed requirement specification for effective PDS and also proposes a functional design for the same. Several possibilities of evaluating the designs using formal techniques are also explored in the process.
EVM-Design
Design of Electric Voting Machine (EVM). Sub Parts: To understand the social and political requirements of an EVM design: correctness, tamper proof guarantees, coercion free ... Work out a formal specification of an EVM design based on the requirements. Work out a functional design and verify the correctness against specification using some formal techniques.
hello-world
My first repository on GitHub.
Intern_NTU_Final
Compiled the work done during intern at NTU Singapore. This only contains part of the work which can be made public. The Research paper published and research work done can be accessed anytime by contacting me:)
Starling-Murmuration
This project models and simulates the fascinating phenomenon of Starling Murmuration.
ns-vqa
Neural-symbolic visual question answering
NSCL-PyTorch-Release
PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).
Spoon-Knife
This repo is for demonstration purposes only.
SURA
SURA'18