Développement
3
F*
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.F * peut exprimer des spécifications précises pour les programmes, y compris les propriétés d'exactitude fonctionnelle.Les programmes écrits en F * peuvent être traduits en OCaml ou F # pour exécution.
3
4
MoWeS Portable
MoWeS est l'abréviation de Modular Webserver System en trois lettres et permet d'exécuter un serveur Web basé sur Apache, MySQL et PHP à partir d'une clé USB ou de toute autre ...
- Gratuite
- Windows
- Self-Hosted
1
2
1
Acquia Dev Desktop
Une pile * AMP spécialement conçue pour Drupal.Permet de créer de nouveaux sites en quelques clics et peut rationaliser la maintenance des environnements de développement Drupal.
0
Apache2Triad
Pack serveur de: Apache2, MySQL, PostgreSQL, OpenSSL, Xmail, SlimFTPdSoftware développant une triade de: PHP, Perl et Python
- Gratuite
- Windows
0
4
LiveConfig
LiveConfig est un panneau de contrôle moderne (HTML5), rapide (C / C ++) et facile à utiliser pour l'hébergement Web, la gestion de serveurs et bien plus encore.
- Payante
- Self-Hosted
- Linux
4
0
Debian Package Repository Producer
Reprepro est un outil en ligne de commande pour créer et gérer un APT local (...
1
0
XTRAN
XTRAN est un système expert pour automatiser l'évaluation / l'analyse, la transformation / la réingénierie et la traduction des langages informatiques, des données et du texte, et est livré avec un riche ensemble de règles existantes pour automatiser de nombreuses tâches courantes.
4
4
0
0
0
Wink Toolkit
Wink Toolkit est une boîte à outils JavaScript légère qui vous aidera à créer de superbes applications Web mobiles.
- Gratuite
- Web
1
4
Laravel Database Designer
Laravel Database Designer est un outil de migration graphique pour créer un schéma de base de données pour Laravel 4 PHP Framework.
- Gratuite
- Web
- Self-Hosted
- Backbone.js













