Popular repositories

1. BoundedMC BoundedMC Public

   A Project by Diganta Mukhopadhyay and Soumodev Mal as a fulfillment of the course Model Checking and System Verification @Chennai_Mathematical_Institute

   Python 1

2. timetable timetable Public

   a noob trying to learn html and css

   HTML

3. PROJECT0 PROJECT0 Public

   edx course cs 50 :Web development using python and JavaScript : Project 0

   HTML

4. Verification-of-a-NN-that-predicts-the-frequency-of-a-signal-using-Z3 Verification-of-a-NN-that-predicts-the-frequency-of-a-signal-using-Z3 Public

   This is a project by Soumodev Mal and Deeksha Gopalan as a fulfillment of the course SMT for Deep Learning @Chennai_Mathematical_Institute

   Jupyter Notebook

5. Tic-Tac-Toe Tic-Tac-Toe Public

   This is an Assignment submitted by Soumodev Mal as a fulfillment of the course SMT for Deep Learning @Chennai_Mathematical_Institute

   Jupyter Notebook

6. Timed-Automata Timed-Automata Public

   This is a report by Soumodev Mal on the paper "Computing Accumulated Delays in Real-Time Systems" as a fulfillment of the course Timed Automata instructed by B. Srivathsan @Chennai_Mathematical_Ins…

   TeX