Pinned Repositories
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)
dotfiles
Personal configuration files
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
ReluplexStudy
Study on the Reluplex paper (Katz et al.) and experimenting with the Marabou framework for Neural Network formal verification
RL_Algorithms
Personal implementation of deep reinforcement learning algorithms
SatViz
Real time satellite 2D visualisation
aja114's Repositories
aja114/aoc
My advent of code solutions
aja114/ReluplexStudy
Study on the Reluplex paper (Katz et al.) and experimenting with the Marabou framework for Neural Network formal verification
aja114/arxiv2bib
Get a BibTeX entry from an arXiv id number, using the arxiv.org API.
aja114/black_box_optimisation
Benchmarking of population related optimisation techniques (evolutionary strategies, novelty search, quality diversity)
aja114/dotfiles
Personal configuration files
aja114/dynamics_explorer
GUI for exploring nonlinear dynamical systems.
aja114/GameOfLife
Game of Life implementation in C++ and OpenGL
aja114/GraKeL
A scikit-learn compatible library for graph kernels
aja114/RL_Algorithms
Personal implementation of deep reinforcement learning algorithms
aja114/SatViz
Real time satellite 2D visualisation
aja114/paracelsus
Visualize SQLAlchemy Databases using Mermaid or Dot Diagrams.
aja114/research_project
repository for the research project with LASP
aja114/rl-exploration
Reinforcement Learning papers on exploration methods.
aja114/RL_Project
INF581 - RL Project
aja114/SatSolvers
aja114/TravellingAntProblem