Explore projects
-
-
Machine learning for population genetics / private / dnadna
CeCILL-C Free Software License AgreementDeep Neural Architecture for DNA.
Updated -
The official Pytorch implementation of "Aneurysm Pose Estimation with Deep Learning" paper.
Updated -
GATB / gatb-mindthegap
GNU Affero General Public License v3.0Updated -
-
Updated
-
icov / Src / ICOV-core
GNU Affero General Public License v3.0Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly
Updated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
Just the pipeline to create the Docker images and to automatically provide latest MoReFEM version on macOS VM.
Updated -
Updated
-
HERBELIN Hugo / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This repository contains the Docker Image to easily deploy the Samifier platform.
Updated -
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
Updated
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
An experimental study based on the test_FEMBEM solver
Updated -
ROUVREAU Vincent / custom-runner
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Implementation of the procedure described at https://denibertovic.com/posts/handling-permissions-with-docker-volumes/ to run Docker containers without being root.
The only change is that I replaced Debian by Ubuntu.
Updated