Explore projects

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

GBOML: Graph-Based Optimization Modeling Language

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.

Custom implementation of nf-core RNAseq pipeline

Finite Element tools for A&M

OMFlut is a framework for performing flutter-constrained optimization

Discrete Adjoint for Rapid Transonic Flows

Public Code related to MOAMMM project This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 862015. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

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

Source-Doublet Panel Method

Multiphysics Integrated Computational Project