Project Directory

The AJAX Control Toolkit is a collection of samples and components which make it easier than ever to build and consume rich client-side controls and extenders built on the Microsoft AJAX Library and ASP.NET 2.0 AJAX Extensions. The Toolkit provides both ready to go samples and a powerful SDK to simplify the creation and re-use of your own custom controls and extenders.

CodePlex is the project hosting site for Microsoft SQL Server Samples and Community Projects. Projects listed here are official Microsoft samples for SQL Server (released with Service Packs or major releases of SQL Server) and applications developed by MVPs, and the SQL Server community at large: http://www.codeplex.com/SqlServerSamples To obtain the SQL Server 2008 RC0 software, please sign up (for free!) with Microsoft Connect for the SQL Server SQL Server 2008 CTP Program: https://connect.microsoft.com/SQLServer/

The Community Kit for SharePoint is a set of best practices, templates, Web Parts, tools, and source code that enables practically anyone to create a community website based on SharePoint technology for practically any group of people with a common interest.

The patterns & practices Enterprise Library is a library of application blocks designed to assist developers with common enterprise development challenges. Application blocks are a type of guidance, provided as source code that can be used "as is," extended, or modified by developers to use on enterprise development projects.

The Singularity Research Development Kit (RDK) is a Shared Source project based on the Singularity research project out of Microsoft Research. The Singularity RDK is available for academic non-commercial use only. Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior. Advances in languages, compilers, and tools open the possibility of significantly improving software. For example, Singularity uses type-safe languages and an abstract instruction set to enable what we call Software Isolated Processes (SIPs). SIPs provide the strong isolation guarantees of OS processes (isolated object space, separate GCs, separate runtimes) without the overhead of hardware-enforced protection domains. Singularity uses these advances to build more reliable systems and applications. For example, because SIPs are so cheap to create and enforce, Singularity runs each program, device driver, or system extension in its own SIP. SIPs are not allowed to share memory or modify their own code. As a result, we can make strong reliability guarantees about the code running in a SIP. We can verify much broader properties about a SIP at compile or install time than can be done for code running in traditional OS processes. Broader application of static verification is critical to predicting system behavior and providing users with strong guarantees about reliability.