Pinned Repositories
automata
Branch_Prediction_SAT
CABKrittikaSolution
Combinatorics
Contractor-s-Guide-to-RL
GNS
GTA-Reach
TChecker is an open-source verification tool for timed automata
Quantum-Computing-and-Information
SigmaZero
A reinforcement learning based Chess Engine
vestigia
prerak-123's Repositories
prerak-123/Quantum-Computing-and-Information
prerak-123/SigmaZero
A reinforcement learning based Chess Engine
prerak-123/vestigia
prerak-123/automata
prerak-123/Branch_Prediction_SAT
prerak-123/CABKrittikaSolution
prerak-123/Combinatorics
prerak-123/Contractor-s-Guide-to-RL
prerak-123/GNS
prerak-123/GTA-Reach
TChecker is an open-source verification tool for timed automata
prerak-123/igvc_self_drive_gazebo
prerak-123/inventory-portal
prerak-123/maze_solver
prerak-123/Perfect-Matching
prerak-123/Pictionary
prerak-123/Reinforcement-Learning-AI-Race-Car
prerak-123/rgboost
prerak-123/UMIC_Assignment