Explore projects

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

Synthetic data related to MOAMMM project: SVE viscoelastic-viscoplastic responses This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 862015.

Custom implementation of nf-core RNAseq pipeline

scripts used to build libraries

Common scripts and config files

Example of FE solvers using the amfe library

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

An universal bidsificator of multi-modal datsets

Repo containing example data for the WOLF package and tools