Explore projects

Patch-based Markov Models for Event Detection in Fluorescence Bioimagiong

Denoising library

#denoising #2D #3D #c++

Flocq (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.

ND SAFIR 3.0

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Material for the PFIA 2020 tutorial "Formal verification of neural networks"

sharelatex new name

Axiome API proxy application

Docker integration of the Janilia pycudadecon LLSM reconstruction software

#opticalflow #2D #c++

Reactive Web Programming

Data eXchange Mediator Synthesizer