Skip to content
View konradburnik's full-sized avatar
Block or Report

Block or report konradburnik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  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 coq/coq

    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