Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A project providing digital recognition of handwritten documents using machine learning techniques.
-
The FloPoCo arithmetic core generator
-
Grew Rewriting System (GRS) for converting basic UD annotations into Enhanced UD (EUD) annotations
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
-
Docker file containing robot_dart, tsid, pinocchio and inria_wbc
-
-
-
Concurrent Separation Logic for Multicore OCaml
-
A Unified Runtime System for Heterogeneous Multicore Architectures
-
The tabletop v1 RPi software
-
Image processing encapsulation via web interface
-
Javascript and C/C++ server side node express utilities for web applications and services
-
The AIDE project software development bundle
-
Basic system C/C++ interfaces to ease multi-language middleware integration
-
A library to build experimental frameworks on multiple platforms
-
Website of the Synalp research team of LORIA laboratory
-
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
-
-