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. playerApp playerApp Public

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

   Rust 1

4. OS-Linker OS-Linker Public

   C++

5. BDS_project BDS_project Public

   Jupyter Notebook

6. OS-Scheduler OS-Scheduler Public

   C++