Popular repositories Loading

1. ttd_example ttd_example Public

   Example for the time travelling debugger

   Erlang 3

2. Blob-World Blob-World Public

   A simple world for complex adventures

   1

3. downward downward Public

   Forked from aibasel/downward

   The Fast Downward domain-independent classical planning system

   C++ 1

4. LNN LNN Public

   Forked from IBM/LNN

   A `Neural = Symbolic` framework for sound and complete weighted real-value logic

   Python 1

5. Deep-Learning-Papers-Reading-Roadmap Deep-Learning-Papers-Reading-Roadmap Public

   Forked from floodsung/Deep-Learning-Papers-Reading-Roadmap

   Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

   Python 1

6. autoascend autoascend Public

   Forked from maciej-sypetkowski/autoascend

   The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge

   Python 1