Nayan Chudasama's repositories
kripke-evaluator
A simple haskell evaulator for kripke models
ic-hack
Our awesome hack at IC-HACK 2014 sitting across there.
Language:JavaMIT000
Language:Java000
Pictionary
Enjoyable Pictionary game working with Node.js and Socket.io
Language:JavaScript000
ppt-scripts
A shell script for Imperial College PPT UTAs to download exercise submissions.
react-native-modal-filter-picker
Cross-platform modal picker for React Native which supports keyword filtering, custom rendering, etc