Explore projects
-
Updated
-
SOLIMAN Sylvain / lamsolve
MIT LicenseUpdated -
Updated
-
Updated
-
BUFFET Olivier / LC-HSVI-nips18
MIT LicensePOMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)
Updated -
Updated
-
-
Magnet / nada
GNU General Public License v2.0 or laterHost files of the NADA project, as presented in the "NADA: A Robust System for Non-referential Pronoun Detection" paper by Bergsma & Yarowsky.
Updated -
JOHANSSON Fredrik / paritwine
GNU General Public License v2.0 or laterPariTwine is a glue library between the system for computer algebra and number theory PARI/GP and a number of other mathematics libraries.
Updated -
A reduced version (from a model and implementation point of view) of Aevol. DO NOT USE IT TO SIMULATE BIOLOGICAL RESULTS ! See http://www.aevol.fr for that ! It must be used only to test HPC optimization of the code (parallel, vector, porting to new
Updated -
Updated
-
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
Updated -
ordo-bdx / io-peak
CeCILL Free Software License Agreement v2.1Estimation of IO peak as a function of average IO load + min size burst buffers
Updated -
ADJIH Cedric / libschic
MIT LicenseUpdated -
Updated
-
This projects contains the code of the OMNeT++ evaluation of the F3C-algorithm proposed in the publication "Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks"
Updated -
-
Benedikt Becker / 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 -
mgcomp is a compiler developped with system DyALog for Linguistic Meta-Grammars (MG).
mgcomp can compile a MG in DyALog format into an XML representation [TAGML] of a Tree Adjoining Grammar [TAG], file extension .tag.
Updated