Pinned Repositories
klee
KLEE Symbolic Execution Engine
gobgp
BGP implemented in the Go Programming Language
A-Neural-Algorithm-of-Artistic-Style
TensorFlow implementation of Neural Style Transfer algorithm using Adam optimization
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
Contour-Detection
OpenCV's contour detection algorithm
ExpCalc
A calculator to evaluate handwritten expressions
Ferret
Automatic Test generator and Differential Tester for DNS Nameserver implementations
Fuzzy-PID
STM Code implementing Fuzzy Logic for PID to drive motor.
NumRec
Recognize digits with hand gestures!
The-Iris-Dataset
Iris Dataset Classification using One-vs-All Classification and Neural Networks
RajdeepMondal's Repositories
RajdeepMondal/Contour-Detection
OpenCV's contour detection algorithm
RajdeepMondal/A-Neural-Algorithm-of-Artistic-Style
TensorFlow implementation of Neural Style Transfer algorithm using Adam optimization
RajdeepMondal/batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
RajdeepMondal/ExpCalc
A calculator to evaluate handwritten expressions
RajdeepMondal/Ferret
Automatic Test generator and Differential Tester for DNS Nameserver implementations
RajdeepMondal/Fuzzy-PID
STM Code implementing Fuzzy Logic for PID to drive motor.
RajdeepMondal/NumRec
Recognize digits with hand gestures!
RajdeepMondal/The-Iris-Dataset
Iris Dataset Classification using One-vs-All Classification and Neural Networks