Explore projects

Advection-Diffusion-Lattice-Boltzmann-Method code, inherited from Hengdi Zhang, modified by Zhe Gou since 201910

Tutorial: Albert's example

The amorph project hosts scripts to generate FSTs for the morphological analysis of French and English languages from dictionaries like DELA or LEFFF.

Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose

TODO: later.

A CEGAR-based solver for maximum model counting