VCC

VCC

VCC est un vérificateur mécanique pour les programmes C concurrents. VCC prend un programme C, annoté avec les spécifications de fonction, invariants de données, des invariants de boucle ... et tente de prouver que ces annotations sont correctes.

Télécharger VCC .

Enterprise Library

Enterprise Library

Microsoft Enterprise Library est une collection de composants logiciels réutilisables (blocs d'application) conçuE pour aider les développeurs de logiciels à relever les défis communs de développement des entreprises. Les blocs d'application sont fournis sous forme de code source ainsi que la documentation qui peut être utilisée «tel quel», prolongée ou modifiée par les développeurs ...



Télécharger Enterprise Library .

GeoUtility Library

GeoUtility Library

GeoUtility Library est une bibliothèque de conversion de coordonnées facile à utiliser . Il peut être utilisé pour le développement web comme de bureau dans les implémentations du CLI comme .NET, MONO. Prise en charge des systèmes de coordonnées: Lon / Lat, Gauss-Krueger, UTM, MGRS / UTMREF. Services de carte pris en charge: Google Maps, Virtual Earth, Yahoo Maps.

Télécharger GeoUtility Library .

Virtual Router Manager

Virtual Router Manager

Virtual Router Manager transforme n'importe quel ordinateur Windows 7 ou Windows Server 2008 R2 en un routeur Wifi en utilisant la technologie Windows 7's Wireless Hosted Network (Virtual Wifi).

Télécharger Virtual Router Manager .

IronPython

IronPython

IronPython est une implémentation du langage de programmation Python fonctionnant sous. NET et Silverlight. Il supporte une console interactive avec la compilation entièrement dynamique. Il est bien intégré avec le reste du. NET Framework et rend toutes bibliothèques .NET facilement disponible pour les programmeurs Python, tout en maintenant la compatibilité avec le langage Python. Il y a aussi l'intégration avec Visual Studio .


Télécharger IronPython .