haverma
Master's in Computer and Information Science, University of Pennsylvania. Interests: Distributed Systems, Machine Learning, NLP..
Seattle
Pinned Repositories
Author-Recognition
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.
cassandra
Mirror of Apache Cassandra
CentOS-Dockerfiles
Dockerfiles for various common implementations
CIS519_MovieReview
Distributed_Chat-System
DChat group chat aplication
Java-Servlet-Container
junit-test
nebula
a distributed and robust key-value store
Node_Heroku
haverma's Repositories
haverma/nebula
a distributed and robust key-value store
haverma/cassandra
Mirror of Apache Cassandra
haverma/junit-test
haverma/Author-Recognition
haverma/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.
haverma/pybatfish
Python client for Batfish
haverma/CentOS-Dockerfiles
Dockerfiles for various common implementations
haverma/Java-Servlet-Container
haverma/Distributed_Chat-System
DChat group chat aplication
haverma/Node_Heroku
haverma/CIS519_MovieReview