Pinned Repositories
Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
Bayesian-Spam-Filter
An implementation of a Spam Filter in Python that uses the Naive Bayes Model to classify mails as spam or ham.
code-with-codespaces
Codespaces tutorial from Github classroom
ComplexityI
LaTeX notes for Complexity I taught at CMI, Chennai
ConvexMSA
This is the repository for our recent research project: Convex Relaxation for Profile HMM.
Optiplex
A Python library consisting of several methods for solving linear and non-linear programs.
Popular-Movies-App-P1
An Android app that displays movie listings and details based on user's ordering preference. This was a course project for Udacity's Android Nanodegree Programme.
PyScheme
An implementation of a subset of Scheme Programming Language in Python.
Startosphere-Hackathon
Source codes for our solution to Hackathon held at IIMK
Wait-For-It
An Android app that sets off an alarm a few minutes before a train reaches a specified station.
aashishsatya's Repositories
aashishsatya/Bayesian-Spam-Filter
An implementation of a Spam Filter in Python that uses the Naive Bayes Model to classify mails as spam or ham.
aashishsatya/Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
aashishsatya/Optiplex
A Python library consisting of several methods for solving linear and non-linear programs.
aashishsatya/PyScheme
An implementation of a subset of Scheme Programming Language in Python.
aashishsatya/Wait-For-It
An Android app that sets off an alarm a few minutes before a train reaches a specified station.
aashishsatya/Popular-Movies-App-P1
An Android app that displays movie listings and details based on user's ordering preference. This was a course project for Udacity's Android Nanodegree Programme.
aashishsatya/Startosphere-Hackathon
Source codes for our solution to Hackathon held at IIMK
aashishsatya/code-with-codespaces
Codespaces tutorial from Github classroom
aashishsatya/ComplexityI
LaTeX notes for Complexity I taught at CMI, Chennai
aashishsatya/ConvexMSA
This is the repository for our recent research project: Convex Relaxation for Profile HMM.
aashishsatya/datasciencecoursera
Repo created as a part of Coursera's "The Data Scientist's Toolbox" course
aashishsatya/fast-ast
FastAST - A fast primal-dual interior point method for line spectral estimation via atomic norm soft thresholding.
aashishsatya/Parameterized-Algorithm-OCT
An implementation of a parameterized algorithm for OCT
aashishsatya/Parameterized-VC
A simple implementation of parameterized vertex cover problem done as a part of assignment in Topics in Algorithms course at NIT Calicut
aashishsatya/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
aashishsatya/SearchGlass
A rudimentary search engine implemented in Python
aashishsatya/SILC
Implementation of Simple Integer Language Compiler (SILC) as a part of Compilers Lab at NIT Calicut
aashishsatya/stats-ds-book
http://cranmer.github.io/stats-ds-book
aashishsatya/StockHawk
Course project for Udacity's Android Nanodegree Program. We were required to take the app from a functional state to a fully production-ready state.
aashishsatya/Sunshine
An Android app developed as a part of Udacity's Android Nanodegree Programme
aashishsatya/UdacityIntroToAlgorithms
Some Python programs that I wrote as a part of Udacity's Intro To Algorithms Course
aashishsatya/UnJumbler
A C++ program that tries to un-jumble the words that you give to it.
aashishsatya/XOS
Source code for eXperimental Operating System (XOS) written as a part of the course CS3092 Operating Systems Laboratory at NIT Calicut.