Explore projects
-
Phd thesis template for the UBL MathSTIC doctoral school:
https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these
Updated -
ScaleCubeSkeleton2D is a software package that computes the L infinity Voronoi diagram, cube skeleton, and scale cube skeleton of orthogonal polygons and PPM images.
Updated -
Updated
-
This pipeline modelised the metabolic/regulatory network using different kind of tools like FlexFlux, Caspo and R. All the pipeline is linked with a shell script and implementation of supplementary module mandatory are in Python3.
Updated -
GUIBON Gael / alexina-tools
Lesser General Public License For Linguistic ResourcesUpdated -
Updated
-
Updated
-
OCaml ppx syntax extension for quoting C/C++ code in OCaml programs
Updated -
Updated
-
Jean-Christophe Filliâtre / 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 -
-
Experiment code for the paper "Merkle Search Trees: Efficient State-Based CRDTs in Open Networks"
Updated -
-
ROUXEL Benjamin / Methane
GNU General Public License v3.0 onlyTools to build static schedules using different techniques (ILP, heuristics) with different contention model target task graphs and multi-cores.
Updated -
Expression / Externals / mitlm
BSD 3-Clause "New" or "Revised" LicenseMIT Language Modeling Toolkit. Fork of https://github.com/mitlm/mitlm
Updated -
Updated
-
-
Updated
-
-
Updated