Explore projects

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

Fork of the repository to perform APRP calculations by mzelinka

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/

Fortran + Python tools to preprocess data, organize input dataset, compute correlations, measure doublets, and invert.

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Hybrid Dynamic Regressor (HyDyReg) offers two methods for the identification of switched nonlinear dynamical systems.