Explore projects
-
Updated
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
An implementation of a causal and interactive model for a concurrent MiniOCaml
Updated -
-
Quantitative corpora description / Corpora description
CeCILL Free Software License Agreement v2.1Provides information on several corpus
Updated -
-
Updated
-
-
LE GALL Guillaume / contiki-tp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
MAZY Francois-Remi / clumpy
GNU General Public License v3.0 or laterLand Use Cover Change Models in Python
Updated -
Simulators for DNA sequencing, consensus algorithms to get the original sequence
Updated -
PAPERMAN Charles / pysemigroup
GNU General Public License v2.0 or laterUpdated -
Experiment code for the paper "Merkle Search Trees: Efficient State-Based CRDTs in Open Networks"
Updated -
skeletons / Necro Ocaml Generator
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
AMIBIO / tree-diet
GNU General Public License v3.0 or laterImplementation of the tree diet algorithm, reducing the treewidth of a graph through min cardinality edge deletion
Updated -