Pinned Loading

1. AIND-Isolation AIND-Isolation Public

   My solution for Isolation game agent submitted as part of Udacity Artificial Intelligence Nanodegree.

   Python

2. AIND-Planning AIND-Planning Public

   My solution for planning project submitted as part of Udacity Artificial Intelligence Nanodegree.

   Python

3. AIND-Recognizer AIND-Recognizer Public

   My solution for American Sign Language Recognizer project submitted as part of Udacity Artificial Intelligence Nanodegree.

   Jupyter Notebook

4. AIND-Sudoku AIND-Sudoku Public

   My solution for Sudoku solver submitted as part of Udacity Artificial Intelligence Nanodegree

   Python

5. luigi luigi Public

   Forked from spotify/luigi

   Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.

   Python

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml