Explore projects

Additional ROS drivers for the Pepper robot.

Simulator of XD* client-actors, Validation service of XD* messages.

CompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Python library implementing data structures and algorithms for the representation and manipulation of cellular complexes.

PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.

forked from gre-nug/gre-nug

A Gaussian Random Field (GRF) generation library using Circulant Embedding method.

Axiome API proxy application

🚨 This repository has moved! Please visit the new location: [https://github.com/Chroma-CITI/namoros]

The configuration to deploy my Guix system.