Explore projects
-
xkblas / dev
CeCILL-C Free Software License AgreementUpdated -
Updated
-
dynres / applications / Dyn_Charm++
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Why3 / 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 -
Peer Communication / nodemanager-rs
Apache License 2.0Updated -
-
PEPR-O2R-AS3 / software / collision_filter
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Metabolic network library, using directed hypergraphs as a representation, in Rust.
Updated -
GALLOIS Mael / pin-actuation
BSD 2-Clause "Simplified" LicenseUpdated -
CompuTiX / CompuTiX
GNU Affero General Public License v3.0Modular and extensible computational framework for simulating tissues, cells, ...
Updated -
Updated
-
The Openvibe Group / meta
GNU Affero General Public License v3.0The meta repository for building OpenViBE
Updated -
Gazelle / Public / Core / EVS Client
Apache License 2.0Front gateway to call validation-service. (EVSClient)
Updated
