Explore projects

Guiding RML Authoring with an MPS based Projectional Editor.

Analysis and optimization cases for DART

Discrete Adjoint for Rapid Transonic Flows

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

Custom implementation of nf-core RNAseq pipeline

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

Common scripts and config files

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.