Julia package for digital communication tools.

The blog about A||Go project.

A very lightweight rolling release dtk specific os including dtk-wm as a window manager, dtk-pkg as package manager

A project providing digital recognition of handwritten documents using machine learning techniques.

A framework to build experimental frameworks on various platforms

Fork de https://github.com/Inria-Asclepios/medInria-public

Biocham-4 sources and CI

A set of commonly used widgets written using Qt5.

Towards a lightweight ParaView alternative.

Public issues concerning allgo.inria.fr or allgo.irisa.fr

SParse Matrix Package

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.