aja114 Goto Github PK

aoc

My advent of code solutions

arxiv2bib

Get a BibTeX entry from an arXiv id number, using the arxiv.org API.

black_box_optimisation

Benchmarking of population related optimisation techniques (evolutionary strategies, novelty search, quality diversity)

dynamics_explorer

GUI for exploring nonlinear dynamical systems.

gameoflife

Game of Life implementation in C++ and OpenGL

grakel

A scikit-learn compatible library for graph kernels

paracelsus

Visualize SQLAlchemy Databases using Mermaid or Dot Diagrams.

reluplexstudy

Study on the Reluplex paper (Katz et al.) and experimenting with the Marabou framework for Neural Network formal verification

research_project

repository for the research project with LASP

rl-exploration

Reinforcement Learning papers on exploration methods.

rl_algorithms

Personal implementation of deep reinforcement learning algorithms

rl_project

INF581 - RL Project

satsolvers

satviz

Real time satellite 2D visualisation

travellingantproblem