Explore projects

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.

Go extension for Visual Studio Code

This is to a way to hold and publish easily my web content.