Explore projects

Mes configs neovim, zsh, i3, kitty

This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix

Projet IESE4 Niveaux de mesure 2.0

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Tutorial: Albert's example

GrainRecon is a code package for reconstructing grain orientations and shapes in 3D for laboratory diffraction contrast tomography (LabDCT).

Reproduce the experimental results of an article under submission (at the LITES journal) named :

''Improving WCET Evaluation using Counters and Linear Relation Analysis''

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

temporary repo for riscv 128-bit toolchain

temporary repo for riscv 128-bit newlib

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

The open source release of the IF Toolset