Explore projects
-
PAPERMAN Charles / pysemigroup
GNU General Public License v2.0 or laterUpdated -
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Updated
-
Updated
-
l1p5 / l1p5-vuejs
GNU Affero General Public License v3.0Updated -
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
Updated
-
Auctus Team / Components / Control / Qontrol
GNU General Public License v3.0 or laterUpdated -
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
OpenStack Neutron ML2 plugin for configuration of 802.1q vlans on "bare metal" network equipments. Fork of https://opendev.org/openstack/networking-generic-switch including some g5k specific patches
Updated -
The Openvibe Group / meta
GNU Affero General Public License v3.0The meta repository for building OpenViBE
Updated -
solverstack / ScalFMM
CeCILL-C Free Software License AgreementN-body simulation using kernel independent Fast Multipole Method
Updated -
math-comp / math-comp
CeCILL-B Free Software License AgreementGitLab mirror of https://github.com/math-comp/math-comp
Updated -
Gazelle / Public / Validation / Schematron Validator
Apache License 2.0Validation service for XML documents, based on Schematron description.
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 -
MICHAUD Pierre / HARCOM
MIT LicenseUpdated -
Gazelle / Public / Simulation / Webservice Tester
Apache License 2.0Automated web-service tests, described as SoapUI projects.
Updated -
NumPEx-PC5 / WP2 Co-design / Proxy-GEOS-HC
CeCILL Free Software License Agreement v1.0Updated -
Gazelle / Public / Core / EVS Client
Apache License 2.0Front gateway to call validation-service. (EVSClient)
Updated -
FELiScE / FELiScE
OtherFELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated