Satya Prakash Nayak's repositories
KMeans-Clustering-Python
A Python implementation of Kmeans Clustering using Jaccard Distance and tf-idf distance on the Bag of Words dataset : http://archive.ics.uci.edu/ml/datasets/Bag+of+Words
cosmo
A tool for computing assumption and strategy templates as contracted strategy masks for both players in two-objective parity games.
Language:C++MIT000
pestel
A tool for computing strategy templates for two player graph games with generalized parity objective, i.e., finite conjunction of parity objectives.
Language:C++MIT000
satya2009rta.github.io
My personal website
Language:HTML000