GitLab

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

Query-Time Filtration source repository

Lazy lavender is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.

Informations partagées pour le groupe de réflexion Science Environnement Société de Grenoble Rhône-Alpes

Weighted-Transducers-based Music Transcription

Builds multi-language compilation packages and related documentation.

The AIDE project software development bundle

Ocaml library for grew

The People's Verification System

Dense linear algebra subroutines for heterogeneous and distributed architectures

Apps to compile from skel to gallina for use with the Coq Proof Assistant

Helper-Tool for configuring COMPRISE SDK for your personal Angular applications

This code computes the analytical solution of waves propagation problems in 2D homogeneous or bilayered media, based on the Cagniard-de Hoop method. In the homogeneous case, the medium can be acoustic, elastic or poroelastic; infinite or semi-infinit

COMPRISE COMPRISE Client Libraries with multiple functionality to ensure voice-enabled, multi-lingual and privacy-aware applications for Android and iOS.