Explore projects
-
-
Travail sur la documentation du logiciel FiatLux http://fiatlux.loria.fr/
Updated -
CHARGUERAUD Arthur / cfml
X11 License Distribution Modification VariantUpdated -
AITE Meziane / padmet
GNU General Public License v3.0 onlyUpdated -
-
blare / kblare
GNU General Public License v2.0 or laterUpdated -
Updated
-
-
EMA is the LHS' platform for EM signal analysis. This repo contains code and documentation for this platform.
Updated -
monitoring / verde
OtherUpdated -
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.
Updated -
MarTo / marto
GNU General Public License v2.0 or laterMarkov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation
Updated -
Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.
Updated -
Updated
-
The MPICPL (MPI Coupling) framework is a communication layer for the coupling of scientific codes, based on the well-known MPI standard.
Updated -
The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.
Updated -
Raphaël Jakse / aude
GNU General Public License v3.0 onlyAude is a tool for learning and teaching finite state machines. Aude lets teachers and student run words, execute and write custom algorithms and draw automata.
Updated -
The coupling of dyalog-sr, a feature-based shift-reduce dependency parser, with neural layers provided by Dynet. It has been developed in the context of the CONLL 2017 Universal Dependencies Shared Task and tried over a large set of languages.
Updated -
CAPELLE Thomas / Tranus_Python
MIT LicenseUpdated