Explore projects

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

Unsteady Panel Method

Converts profilometry data from a Veeco Wyko (saved in the ASC format) into something readable by another software. Also provides data pre-processing.

Custom implementation of nf-core RNAseq pipeline

Common scripts and config files

Source-Doublet Panel Method

PyPK is a collection of p-k methods for computing flutter

OMFlut is a framework for performing flutter-constrained optimization

Analysis and optimization cases for DART

Discrete Adjoint for Rapid Transonic Flows

Finite Element tools for A&M

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.

Example of FE solvers using the amfe library