Explore projects
-
KHORSI Yanis / kstar
CeCILL Free Software License Agreement v1.0KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.
Updated -
-
Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour
UpdatedUpdated -
Updated
-
-
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
Updated -
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
-
Updated
-
Updated
-
sed-rennes / sharelatex / clsi-sharelatex
GNU Affero General Public License v3.0Updated