Software development

Sophia

In 2018, I started developing the Sophia, a Semantic Web toolkit for the Rust programing language.

Github
https://github.com/pchampin/sophia_rs
License
CECILL-B

kTBS: a kernel for Trace-Based System

Since 2009, I have been the main developer of kTBS, a reference implementation of the meta-model for Trace-Based Systems, developed in the TWEAK research group.

Github
http://github.com/ktbs/ktbs
License
LGPL 3

Other open-source projects

I also contribute on a regular basis to various open-source projects, see my github activity.