Pinned Loading

1. ig_generator ig_generator Public

   A REST and Lightstreamer client for IG Markets. Only implemented a narrow set of requests.

   Python

2. streaming_service streaming_service Public

   Service to stream tick data to csv directly from IG Markets, using AWS Kinesis.

   Python 1

3. automated_reasoning automated_reasoning Public

   A SAT based Theorem Prover for Modal Logic K.

   Python

4. coin_tossing_agent coin_tossing_agent Public

   Benchmarking exercise, to see how a RL agent will interact with a simple coin toss game.

   Python

5. mlp_feature_selection mlp_feature_selection Public

   Automated feature selection for multi layer perceptron. Comparison of input neuron relevance and a genetic algorithm.

   Jupyter Notebook 1

6. simple_rl simple_rl Public

   Toy RL implementations.

   Python