Popular repositories Loading

1. DPLL_Solver DPLL_Solver Public

   Simple SAT solver implementation using python. It also includes a BNF to CNF converter

   Python 1

2. MDP_Solver MDP_Solver Public

   Simple program to solve Markov Decision Processes using policy iteration and value iteration.

   Python 1

3. tomasort.github.io tomasort.github.io Public

   JavaScript 1

4. playerApp playerApp Public

   A web application that allows users to watch the signal from the TV set-up box remotely.

   Rust 1

5. OS-Linker OS-Linker Public

   C++

6. BDS_project BDS_project Public

   Jupyter Notebook