Explore projects
-
MACHADO DA SILVA Mario Alberto / PFOQ compiler
MIT LicenseThe FOQ (first-order quantum) programming language was introduced in (Hainry, Péchoux, Silva, FOSSACS 2023) along with its polytime fragment PFOQ (polytime FOQ). This work is the development of a compiler for PFOQ programs, including interesting fragments such as BASIC programs.
Updated -
Updated
-
MOHAMED Ahamed / Orb Slam3 Ros
GNU General Public License v3.0 onlyUpdated -
This repository contains code and documentation for a robotics project by students from INSA Lyon's Telecommunications Department. The project explores collaborative robotics using Crazyflies (drones) and Turtlebots (mobile robots), focusing on autonomous navigation, multi-robot coordination, and sensor integration.
Updated -
Updated
-
-
-
Here, you can download the MetaImaGen Pipeline for different platforms.
Remember Docker is necessary to properly execute the software ([See install dependencies]) After downloading you just need to execute: command to executeUpdated -
DAVID Jean-Francois / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
A Python library to execute Python functions on a PAC A10 FPGA board using Intel OpenCL SDK to FPGA.
Updated -
Updated
-
Updated
-
tansiv / Iputils
OtherUpdated -
Updated
-
Generating seminar of IDIA/FCS website https://bournez.gitlabpages.inria.fr/seminar-IDIA-FCS
Updated -
DEBREUVE Eric / StdStream Cloner - OUTDATED
CeCILL Free Software License Agreement v2.1See new repository at: https://src.koda.cnrs.fr/eric.debreuve/std-stream-cloner
Archived 0Updated -
STAQUET Gaetan / ParaGraphs
GNU Affero General Public License v3.0Updated