Popular repositories Loading

1. aixijs_mentee aixijs_mentee Public

   Code for Experiments from the paper "Curiosity Killed the Cat and the Asymptotically Optimal Agent"

   JavaScript 2

2. NUbots NUbots Public

   Forked from NUbots/NUbots

   The NUbots codebase

   C++

3. off-switch-game off-switch-game Public

4. HOL HOL Public

   Higher order logic

   Standard ML

5. HOL-1 HOL-1 Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

6. grl-framework grl-framework Public

   Forked from sultanjm/grl

   A general reinforcement learning (GRL) framework.

   Python