Explore projects

kit of operating system for educational purpose

Implémentation de la logique linéaire intuitionniste d'ordre supérieur avec bimonoïdes de ressources

Multivariate polynomial system solver

This repo has been moved to Github: https://github.com/itoumlilt/Colony.

This repo has been moved to Github: https://github.com/itoumlilt/Colony.

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

Cross domain dynamic

Algorithms to solve boolean polynomial systems

Sources du cours Data Mining & Visualisation (M1 Master Management de l'Innovation - Sorbonne Université)

FYFY (FamilY For unitY) is an Entity Component System framework (ECS) specially made for Unity.

Just a test