- Zurich, Switzerland
Popular repositories Loading
-
Parameter-optimization-for-DeepZ-robustness-verification
Parameter-optimization-for-DeepZ-robustness-verification PublicDeepZ is a method for local robustness verification, based on zonotopes, a type of convex relaxations, and abstract transformations. While affine transformations and convolutions can be represented…
Python 1
-
HappyBirthdayApp
HappyBirthdayApp PublicThis is a static app which displays a Birthday Card on the screen.
Java
-
JustJava
JustJava PublicThis is a Coffee Ordering app which shows the final amount the user has to pay.
Java
-
-
WhoIsFree
WhoIsFree PublicA complete timetable management system for Faculties, Students or any VIT club/chapter.
PHP
-
Handwritten-Digit-Recognition
Handwritten-Digit-Recognition PublicA Handwritten Digit Recognition System to evaluate the effectiveness of various types of classifiers such as MLP classifier, K Nearest Neighbour Classifier, SVC, Decision Tree Classifier, Random Fo…
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.