Explore projects

Apptainer for https://gitlab.surrey.ac.uk/surrey-shared-containers/bioinformatics-r-seurat5-with-recommended-pkgs

A Foreman Smart Proxy plugin to provide DHCP management by interacting with the ISC Kea API. This provider allows Foreman to view subnets and leases and to create and delete host reservations directly via Kea's JSON-RPC interface.

A template for creating Docker image file projects. Includes an example Dockerfile and the required gitlab-ci.yml to build the image.

Dachi-AdvWeb

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.