Explore projects
-
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Updated -
Jens Gustedt / eĿlipsis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
pirat-public / URSID
GNU Affero General Public License v3.0Updated -
Updated
-
Gazelle / Public / Simulation / Simulator Parent
Apache License 2.0Parent bom for Gazelle simulators
Updated -
BECKER Emmanuelle / Formation 2020 Introduction to R for data manipulation and data visualisation
GNU General Public License v3.0 onlyUpdated -
-
Même grain que les "alignements de séquences" sans la possibilité de faire de l'alignement de protéines
Updated -
SCHWARZENTRUBER Francois / chinesedecomposition
GNU Affero General Public License v3.0This project contains the source code of a website that displays the decomposition of some Chinese characters.
Updated -
STM32 LoRaWAN SDK for the USI I-NUCLEO Development Kit
Updated -
-
Gazelle / Public / Validation / Audit Message Validator
Apache License 2.0Library for importing Audit Message specifications and validating Audit logs in DICOM PS 3.15 format.
Updated -
Collection of CMake modules that can be shared among projects
Updated -
-
Thierry Martinez / biocham
GNU General Public License v2.0 or laterBiocham-4 sources and CI
Updated -
Web site of DeepLoria: don't hesitate to clone it, edit it and make a pull request if you want to include some information in the site ! All pull requests are welcome !
Updated -
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. It enables to match personal identifiers of reactions and metabolites, to a given reference database.
Updated -
-
ORCCAD is a software environment dedicated to the design and the implementation of advanced robotics control systems. It also allows the specification and the validation of missions to be achieved by the system
Updated