Explore projects
-
Updated
-
CIDRE Public / koika-llr
GNU General Public License v3.0 or laterUpdated -
ROUSSELIN Pierre / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Updated
-
Ehrlich-Aberth method to find polynomial complex roots in double precision.
Updated -
-
faust group / gpu_mod
OtherUpdated -
Updated
-
Adaptative Segmentation and Tracking of Embryonic Cells (full version, python and C codes)
Updated -
Updated
-
Updated
-
Updated
-
obelix / Broceliande
OtherBroceliande aims to use TRISKELE and Random Forest for classification.
It is the use of representation trees of satellite images and decision trees to detect woody features in Europe.
Updated -
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Setup Debian and MacOSX machines so that our backuppc instance can access them. Do not run this software if you are not related to datapol (unless you really want us to gain root access on your machine...)
Updated -
LaTeX-utils / LaTeX-Make
Affero General Public License v1.0Updated -
salto / ez dune describe
OtherUpdated -
Updated