Explore projects

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

This project has received funding from the European Union’s Horizon Europe Framework Programme under grant agreement No. 101056682 for the project “DIgital DEsign strategies to certify and mAnufacture Robust cOmposite sTructures (DIDEAROT)”. The contents of this publication are the sole responsibility of ULiege and do not necessarily reflect the opinion of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

multi-purpose lens modeling software package

MATH0504-1 First Project: Implementation of Finite Element Methods (FEM) using Galerkin projection for solving elliptic PDEs

Second homework of MATH0024

Ordløshet: the inability to speak because meaning exceeds words.A collection of scripts and tools designed to support and streamline the process of learning a new language

2ème projet du cours de Structure des données et algorithmes.

project of SYST0002 ( signals and systems )