Linux
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.
1
IDECO ICS
Passerelle basée sur Linux pour SMB avec un accent sur la sécurité.Avec un outil de configuration Web facile à utiliser.Avec de nombreuses fonctionnalités supplémentaires comme le serveur de messagerie, le serveur VPN, la mise en forme du trafic, le DPI, l'antivirus du trafic, etc.
- Freemium
- Self-Hosted
- Linux
2
112
Plesk
Plesk est la principale plate-forme WebOps pour exécuter, automatiser et développer des applications, des sites Web et des entreprises d'hébergement dans plus de 32 langues dans 140 pays dans le monde.
0
Justniffer
justniffer est un renifleur TCP.Il réassemble et réorganise les paquets et affiche le flux TCP de manière personnalisable.Il peut enregistrer le trafic réseau au format de journal du serveur Web.Il peut également enregistrer les performances des services réseau et extraire le contenu http.
- Gratuite
- Linux
33
32
71
31
ex.fm
Exfm transforme l'ensemble du Web en votre bibliothèque musicale personnelle.Pendant que vous naviguez, exfm s'exécute en arrière-plan, indexant chaque fichier MP3 que vous rencontrez, créant une bibliothèque musicale pour vous.
1
31
2
2
Soundseeder
Écoutez votre musique sur plusieurs appareils synchronisés Partagez votre musique avec vos amis Créez un système audio multiroom gratuit Connectez jusqu'à 16 appareils simultanément
1
1
2
10
Feed Sidebar
La barre latérale de flux est une extension du navigateur Web Mozilla Firefox qui affiche les nouveaux éléments de vos marque-pages dynamiques dans la barre latérale.