Explore projects

cours de programmation objet INALCO - Master TAL première année

FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.

algorithm for joint pitch spelling and global and local key estimation

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Abstract domain for function graphs, and fixpoint solvers based on them

This repository contains the material to reproduce the experiments presented in the paper "PALLAS : a generic trace format for large HPC trace analysis", presented at IPDPS 2025.

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

This platform gives tools to manipulate Sanskrit data