Animation engine for explanatory math videos

P-NET, Biologically informed deep neural network for prostate cancer classification and discovery

Tools for computational pathology

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

a project fow web development course -branche:master

my awesome app

Site électronique d'aide aux malentendants en cas de situation critique

Java implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Node

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Why3 plugin allowing the extraction of WhyML code to Scala