Developpement-Devops
257 solutions trouvées
GNAT Pro
Par ADACORE
GNAT Pro est une suite d'outils de développement logiciel pour les langages Ada, C/C++ et Rust. Elle comprend des compil...
GNAT Pro for Ada
Par ADACORE
GNAT Pro for Ada est un environnement de développement complet pour le langage Ada, incluant un compilateur, des outils ...
GNAT Pro for C/C++
Par ADACORE
GNAT Pro for C/C++ est un environnement de développement industriel pour les langages C et C++. Il inclut des compilateu...
GNAT Pro for Rust
Par ADACORE
GNAT Pro for Rust est une suite d'outils de compilation et de développement pour le langage Rust, incluant compilateurs,...
GNAT Static Analysis for Ada
Par ADACORE
GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse séma...
GONOGO CONSULTECH (HORUSTEST)
Spécialiste de l'automatisation des tests fonctionnels web et de l'accompagnement qualité logicielle.
GRAVITEESOURCE
Par GRAVITEESOURCE
Plateforme de gestion et de sécurisation du cycle de vie complet des API synchrones et asynchrones, incluant les flux év...
Greenspector Studio
Par GREENSPECTOR
Greenspector Studio est une solution SaaS qui mesure la performance et la consommation énergétique des applications mobi...
GxpManager ECMS
Par GXPMANAGER
GxpManager ECMS (Enterprise Compliance Management System) est une plateforme low-code/no-code permettant de centraliser,...
GxpManager Studio
Par GXPMANAGER
GxpManager Studio est un outil low-code/no-code permettant aux utilisateurs de créer leurs propres applications métier c...
HAX
Par CRYSPEN
HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves...
Hexaly Studio
Par HEXALY
Hexaly Studio est une plateforme SaaS low-code pour développer, déboguer et exécuter des applications d'optimisation mat...
HOGUNSOFT Editeur d'application
Par HOGUNSOFT
HOGUNSOFT Editeur d'application est une plateforme no-code permettant de créer des applications CRM métier sur mesure. E...
Holori
Par HOLORI
Plateforme de gestion et d'optimisation de l'infrastructure cloud via Terraform, incluant visualisation et documentation...
horus test
HorusTest est un outil SaaS de tests fonctionnels automatisés pour sites et applications web. Il permet de créer, exécut...
Hyperping
Par HYPERPING
Fournit des outils de surveillance de disponibilité et des pages de statut à prix abordable.
iApp Generator
Par LUHA
iApp Generator est un outil en ligne de commande qui permet de créer et déployer des applications décentralisées (iApps)...
imki CREATOR
Par IMKI
IMKI Creator est un logiciel de création d'applications sans code (low-code/no-code) permettant de concevoir des applica...
Intalio|BPMS
Par INTALIO
Intalio|BPMS est une suite de gestion de processus métier (BPMS) permettant de modéliser, exécuter et optimiser les work...
Integration Studio
Par DOTFILE
Integration Studio est un outil no-code de Dotfile permettant de connecter la plateforme à plus de 1000 applications (CR...
GNAT Pro
Par ADACORE
GNAT Pro est une suite d'outils de développement logiciel pour les langages Ada, C/C++ et Rust. Elle comprend des compilateurs, des débogueurs, des en...
GNAT Pro for Ada
Par ADACORE
GNAT Pro for Ada est un environnement de développement complet pour le langage Ada, incluant un compilateur, des outils de débogage et d'analyse stati...
GNAT Pro for C/C++
Par ADACORE
GNAT Pro for C/C++ est un environnement de développement industriel pour les langages C et C++. Il inclut des compilateurs avancés, des outils de débo...
GNAT Pro for Rust
Par ADACORE
GNAT Pro for Rust est une suite d'outils de compilation et de développement pour le langage Rust, incluant compilateurs, bibliothèques et outils de vé...
GNAT Static Analysis for Ada
Par ADACORE
GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse sémantique approfondie du code sou...
GONOGO CONSULTECH (HORUSTEST)
Spécialiste de l'automatisation des tests fonctionnels web et de l'accompagnement qualité logicielle.
GRAVITEESOURCE
Par GRAVITEESOURCE
Plateforme de gestion et de sécurisation du cycle de vie complet des API synchrones et asynchrones, incluant les flux événementiels.
Greenspector Studio
Par GREENSPECTOR
Greenspector Studio est une solution SaaS qui mesure la performance et la consommation énergétique des applications mobiles et web. Elle permet d'anal...
GxpManager ECMS
Par GXPMANAGER
GxpManager ECMS (Enterprise Compliance Management System) est une plateforme low-code/no-code permettant de centraliser, exploiter et analyser des don...
GxpManager Studio
Par GXPMANAGER
GxpManager Studio est un outil low-code/no-code permettant aux utilisateurs de créer leurs propres applications métier conformes aux réglementations (...
HAX
Par CRYSPEN
HAX est un framework de vérification formelle pour le langage Rust. Il traduit du code Rust vers des langages de preuves formelles (F*, Rocq, ProVerif...
Hexaly Studio
Par HEXALY
Hexaly Studio est une plateforme SaaS low-code pour développer, déboguer et exécuter des applications d'optimisation mathématique. Elle intègre un édi...
HOGUNSOFT Editeur d'application
Par HOGUNSOFT
HOGUNSOFT Editeur d'application est une plateforme no-code permettant de créer des applications CRM métier sur mesure. Elle offre un studio de paramét...
Holori
Par HOLORI
Plateforme de gestion et d'optimisation de l'infrastructure cloud via Terraform, incluant visualisation et documentation.
horus test
HorusTest est un outil SaaS de tests fonctionnels automatisés pour sites et applications web. Il permet de créer, exécuter et maintenir des scénarios ...
Hyperping
Par HYPERPING
Fournit des outils de surveillance de disponibilité et des pages de statut à prix abordable.
iApp Generator
Par LUHA
iApp Generator est un outil en ligne de commande qui permet de créer et déployer des applications décentralisées (iApps) sur le réseau iExec. Il facil...
imki CREATOR
Par IMKI
IMKI Creator est un logiciel de création d'applications sans code (low-code/no-code) permettant de concevoir des applications métiers, des portails et...
Intalio|BPMS
Par INTALIO
Intalio|BPMS est une suite de gestion de processus métier (BPMS) permettant de modéliser, exécuter et optimiser les workflows. Elle offre des fonction...
Integration Studio
Par DOTFILE
Integration Studio est un outil no-code de Dotfile permettant de connecter la plateforme à plus de 1000 applications (CRM, messagerie, etc.) et de cré...