Explore projects

Special version of the M4RI library for the PPAR class.

Coriolis VLSI CAD Tools

Multivariate polynomial system solver

Algorithms to solve boolean polynomial systems

A tool to visualize 2D vector fields

A blockgraph for mesh networks

The goal of this project is to simulate the route of a bus based on a dataset using a prediction model. The dataset contains information collected through sensors in the City of Rio de Janeiro, Brazi.

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.

Implementing deep reinforcement learning algorithms for the ICGA competition.