Pinned

1. qemu-arm-linux

   Script for compiling Linux, BusyBox for AMR and running it on QEMU.

   Shell 34 16

2. proof-assistant

   Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking

   JavaScript 6 2

3. Autoencoder-QLearner

   Investigation into the use of Autoencoder Neural Network to optimize the state space and Q-function performance of a Reinforcement Learning Problem

   Python 6 1

4. mc-aixi-ctw

   An implementation of the MC-AIXI-CTW paper

   C++ 2

5. directed-explore

   Count-based Exploration in Feature Space for Reinforcement Learning. IJCAI 2017

   C++ 3

6. lockdown-inference

   [COVID-19] Estimating true lockdown date for a country

   Jupyter Notebook 1