Explore projects
-
-
-
-
compose / legacystack / cpp_tools
CeCILL-C Free Software License AgreementUpdated -
PTVR_Public / PTVR_Researchers
GNU General Public License v3.0 or laterPerception Toolbox for Virtual Reality (PTVR) Researchers Project
Updated -
Updated
-
This is a code repository about Average Reward Reinforcement Learning.
Updated -
Updated
-
-
pleiade / Disseq
GNU General Public License v3.0 or laterThis package has been developed for computing exact distances, without heuristics, between all pairs of reads of a NGS sample. This is a first step for supervised or unsupervised clustering of reads in an environmental sample.
Updated -
Updated
-
GMYS Jan / PermutationBB
BSD 3-Clause "New" or "Revised" LicenseA massively parallel Branch&Bound algorithm for the exact resolution of permutation-based optimization problems, like Permutation Flow-shop Scheduling
Updated -
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
Updated -
Updated
-
FEYTOUT Clement / ipytbw
OtherUpdated -
Updated
-
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Updated
-
Containerized documentation of customer environments
Updated