Explore projects

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.

Shallow Water Equation Environment for Tests, Awesome!

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Swarm Protocol And Navigation Kontrol

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

try to control robot's motion

Comet is a pipelined RISC-V processor generated with HLS.

Parallel Sparse Direct Solver

Dense linear algebra subroutines for heterogeneous and distributed architectures