GitLab

The binary_c code is a state-of-the-art software framework for the evolution of single and binary stars, nucleosynthesis studies and stellar population calculations.

librinterpolate: a library to perform very fast N-dimensional linear interpolation on a gridded dataset.

A generic associative array, also know as dictionary or hash, library in C, based on uthash and extended to be more user friendly and include integration features such as JSON output.

Translation of "A Formal Approach to Secure Speculation" to Isabelle.

Repository containing code to link binary_c and python

localise tutum/hello-world image to testing purpose

NOC container registry, localised from bitnami/kubectl:latest

A Linux image with curl installed

Code accompaniment to: Combining Dynamic Mode Decomposition with Ensemble Kalman filtering for tracking and forecasting

Space Robot simulator modelled around the open AI gym API.

All code for HARL-A paper presented at IROS 2021

Localise the alpine image from alpine:latest

Ruby on rails web application to track your music application

Performance and Energy consuption study on concurrent programming focused on Transactional Memory.

Experimental viewer and plotter for binary_c's ensemble JSON data