Pinned Loading

1. Propositional_Logic Propositional_Logic Public

   Allows for proving of statements from series of statements and the relations between them. Model of propositional logic, but with logical operators expressed as binary relations

   Java

2. Neo_Divitias Neo_Divitias Public

   Final year Computer Games Development project

   C#

3. ctp ctp Public

   Forked from uclnlp/ctp

   Conditional Theorem Proving

   Python

4. instadeepai/Mava instadeepai/Mava Public

   🦁 A research-friendly codebase for fast experimentation of multi-agent reinforcement learning in JAX

   Python 755 91

5. ultimate-frisbee ultimate-frisbee Public

   Multiplayer Ultimate Frisbee using Unity and Mirror

   C# 1 1

6. deep-learning-indaba/indaba-pracs-2022 deep-learning-indaba/indaba-pracs-2022 Public

   Notebooks for the Practicals at the Deep Learning Indaba 2022.

   Jupyter Notebook 175 42