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

This project is used to simulate the route of a bus line in Brazil from a prediction model. Despite everything, it is possible to modify the dataset and use it to model the route you want.

Coriolis VLSI CAD Tools

Algorithms to solve boolean polynomial systems

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.

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.

Multivariate polynomial system solver

Implementing deep reinforcement learning algorithms for the ICGA competition.

INRIMAGE is a software dedicated to image processing

The code deposit for the "SSH Super-Resolution using high resolution SST with a Subpixel Convolutional Residual Network" article submitted at Climate informatics 2022

Static Timing Analyser

kit of operating system for educational purpose

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

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