Un environnement de simulation de systèmes électroniques qui facilite le test de codes binaires de logiciels complexes.
Lire la suite
Une solution open source pour l’annotation web à grand échelle d’images et de vidéos.
Lire la suite
Un bac à sable open source pour la conception, la simulation et l’évaluation d’algorithmes d’apprentissage automatique opérant sur des flux de données.
Lire la suite
Une plateforme d’ingénierie dirigée par les modèles pour faciliter la conception de systèmes complexes logiciels et/ou matériels.
Lire la suite
Expérimenter et optimiser des applications de blockchain avec un simulateur à base d’agents.
Lire la suite
Une chaîne de compilation permettant de réaliser des traitements sur des données chiffrées sans les dévoiler.
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite