The recently released dotPeek 1.1 provides support for decompilation, improved navigation, boomarks, async methods, lambda and LINQ expressions in addition to numbered bookmarks.
The recently relesed Microsoft.Diagnostics.Runtime or CLR Memory Diagnostics (ClrMD) component enables you to automate inspection tasks and access debugging information using set of advanced APIs.
NuoDB 1.1 includes a ADO.NET driver, LINQ and EF providers, support for Windows 64-bit and Azure, performance improvements.
LINQ Insight 2.0 has been released with support for RavenDB, List
Microsoft recently released SvcPerf which is an end to end ETW based trace viewer for manifest based traces.
Microsoft recently announced the release of Entity Framework Alpha 2 with custom code first conventions and several other performance enhancements.
Microsoft Research has published a white paper explaining how Type Providers makes F# useful for accessing and processing “internet scale” information sources.
NDepend has released a new version of their flagship static code analysis product. NDepend 4 introductes Code Query LINQ, NDepend.API, and VS 2012 support.
F# 3.0, included in the Visual Studio 11 beta, gains the ability to use LINQ expressions. Other features include support for Portable Libraries and auto-implemented properties.
Microsoft has announced that the upcoming Entity Framework 5 could potentially improve performance up to 67 percent. Developers using EF 4.0 should also see performance improvements just by upgrading to .NET Framework 4.5.
One of the new additions in the Entity Framework June CTP is official support for Spatial data types, which allow developers to represent data using a system of coordinates, such as shapes, lines, or points on a map.
Interactive Extensions (Ix) is a set of additional LINQ to Objects query operators based on the work done in the Reactive Extensions. A quick look through the API reveals a set of IEnumerable extension methods under the System.Linq namespace. While most developers already have many of these in their own utility libraries, having a standard implementation for these missing features would be useful.
Microsoft has released version 1.0 of their Reactive Extensions (Rx) library after two years in incubation. Rx combines event-driven UI with LINQ, concurrency and asynchronous calls.
EduLINQ is an attempt to explain how LINQ to Objects operators work. MoreLINQ is a set of LINQ to Objects operators extending the standard ones. LINQBridge is a port of LINQ to Objects to .NET Framework 2.0.
Microsoft Research claims that Z3 is the world’s fastest theorem prover. Z3 is designed to be a low-level tool for other applications, it is not meant to stand-alone. With its host of theorem provers, it is used by numerous projects including Spec#/Boogie, Pex, Yogi, Vigilante, SLAM, F7, SAGE, VS3, FORMULA, and HAVOC. With Bart De Smet’s LINQ to Z3, using this tool becomes embarrassingly easy.