.Net

Detours

Detours is a library for intercepting arbitrary Win32 binary functions on x86 machines. For more details, see http://research.microsoft.com/sn/detours. Download Details File Name: DetoursExpress.msi Version: 2.1 Express 216 Date Published: 10 November 2008 Download Size: 0.53 MB Note: By installing, copying, or…

Spec for Visual Studio 2008

Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking,…

Microsoft Giano

Giano is a simulation framework for the full-system simulation of arbitrary computer systems, with special emphasis on the hardware-software co-development of system software and Real-Time embedded applications. Giano includes both software models for CPU, I/O, busses and memories, and HDL…

Infer.NET 2.2 Beta

Infer.NET is a .NET framework for machine learning. It provides state-of-the-art message-passing algorithms and statistical routines for performing Bayesian inference. It has applications in a wide variety of domains, including information retrieval, bioinformatics, epidemiology, vision, and many others. Download Details…

Songsmith (Free Trial)

Songsmith generates musical accompaniment to match a singer’s voice. Just choose a musical style, sing into your PC’s microphone, and Songsmith will create backing music for you. Then share your songs with your friends and family, post your songs online,…

Bitnami