GitLab

GNU/Guix package channel providing access to software related to the XFOR programming structure.

Web-based scalable visualization fo large document collections

Version of the Clang compiler interface with the support for source files featuring the XFOR programming structure.

MoReFEM core library.

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

An LR(1) parser generator for OCaml.

The AIDE project software development bundle

Debian Package files for StarPU

GNU Guix channel providing packages from the past.

Juptyter notebooks for use cases using solvers of the nutopy toolbox

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Crowd trajectory analysis tool

MoReFEM core library.

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

Efficiently answering regular path queries on very large graphs, by guiding the search through distances in an embedding of the graph. This embedding is precomputed in quasi-linear time and space, independently of the regular query.