A Keras port of Single Shot MultiBox Detector

Formalizations accompanying my thesis "Extending Type Theory with Syntactical Models".

docker client of gatling

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

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.

Binder config for some classes of INF555

DYnamiC non-volaTile memOry maNagement for embedded systems.

simulation platform and instrumentation scripts

Python wrappers for the dtk-core layer

different implementations of python ( transpilers interpreters and some optimization libraries ) eachone in a docker image so we can use it later for tests

Collection of sequence generation tools to evaluate sequential pattern mining algorithm.

This is the document for writing the IPDPS workshop on ressource arbitration proposal

Phd thesis template for the UR1 MathSTIC school:

https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these