Explore projects
-
Ocan Sankur / smt-switch
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Serpico / atlas
GNU General Public License v3.0 or laterUpdated -
ZIMMERMANN Paul / bacsel
GNU General Public License v2.0 or laterUpdated -
cedar / GFE-DRIVER
GNU General Public License v3.0 onlyUpdated -
Philippe SWARTVAGHER / pm2
GNU General Public License v2.0 or laterPM2: Parallel Multithread Machine
Updated -
batsim / batsim
OtherUpdated -
-
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
The Openvibe Group / sdk
GNU Affero General Public License v3.0The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
Updated -
Graph cut F-Formations. Using GCO library by Olga Veksler Based on python interface by Yujia Li
Updated -
kernelo-mistis / kernelo-gllim-is
CeCILL-C Free Software License AgreementUpdated -
Simulators for DNA sequencing, consensus algorithms to get the original sequence
Updated -
Updated
-
SIMBox Fraud Mitigation / FraudZen
GNU General Public License v3.0 or laterUpdated -
This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.
Updated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
tansiv / TANSIV
BSD 3-Clause "New" or "Revised" LicenseTime-Accurate Network Simulation Interconnecting Vms
Updated -