Explore projects

fork of https://github.com/saltstack-formulas/docker-formula

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

Server Web for Raspberry Pi 3 Model B.

DLS code used at LIPhy

Tutorial: Albert's example

Python code for simulation of sea ice flexion and fracturation in 1D

Basics tests with Tensorflow/Keras