Popular repositories Loading

1. Botworld BotworldPublic

   A cellular automaton for studying self-modifying agents which are embedded in their environment

   Haskell 130 9

2. provability provabilityPublic

   Haskell 40 12

3. rl-teacher-atari rl-teacher-atariPublic archive

   Forked from nottombrown/rl-teacher

   (This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feedback.

   Python 28 6

4. arbital-open-source arbital-open-sourcePublic

   Open source code for Arbital

   JavaScript 14 1

5. Botworld.HOL Botworld.HOLPublic

   An implementation of Botworld in Higher Order Logic

   Standard ML 8

6. reflective-oracles reflective-oraclesPublic

   Haskell 6 2