Explore projects

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

Source-Doublet Panel Method

OMFlut is a framework for performing flutter-constrained optimization

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

Guiding RML Authoring with an MPS based Projectional Editor.

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.

Python training materials