Popular repositories Loading

1. Tableau_K_modal_logic Tableau_K_modal_logic Public

   Deterministic tableau method for K modal logic

   Standard ML

2. SAT_Poly SAT_Poly Public

   Satisfiability of a class of system of Polynomial equations.

   Python

3. Planetary_Motion Planetary_Motion Public

   A view of our solar system, as defined by Newtonian Mechanics.

   C++ 1

4. Debug-Engine Debug-Engine Public

5. TaskQueue TaskQueue Public

   Implementing a task queue.

   C++

6. Reinforced_Learning Reinforced_Learning Public

   Python