Explore projects

Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.

The evolving specification for Alethe, a flexible format for SMT proofs.

Repo containing example data for the WOLF package and tools

Monthly newsletter of the GIGA Cyclotron Research Centre in vivo imaging.

Python Agrivoltaics Simulation Environment (PASE)

Thesis : https://hdl.handle.net/2268/326176

Paper: https://doi.org/10.1007/s10457-024-01090-8

Documentation in the wiki

Discrete Adjoint for Rapid Transonic Flows

Course Material for "Multiphysics integrated computational project" (math0471)

An universal bidsificator of multi-modal datsets

Finite Element tools for A&M

Common scripts and config files