Explore projects

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

A monitor on public software hosted on the Gitlab-Gricad forge. #alpha_version

Windows Software - main files for package build - public repository

see https://gates-data-shs.gricad-pages.univ-grenoble-alpes.fr/blog

An implementation of an apposed-cortex model of an epithelial tissue.

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

Ce projet consiste en la conception d'un clavier virtuel basé sur les panneaux de phonèmes d'Alexandre Do (inspiré des traveaux de Caleb Gattogno), croisé avec la liste des graphies possibles pour chaque phonème (Fidel, C. Gattegno).