Boogie: MSR Boogie Project on Default Branch https://hg.codeplex.com/boogie Source/AbsInt Source/AIFramework Source/Basetypes Source/BoogieDriver Source/CodeContractsExtender Source/Core Source/Graph Source/Model Source/ModelViewer Source/ParserHelper Source/Provers Source/VCExpr Source/VCGeneration -------------------------------------------------------------------------------- Dafny: MSR Dafny on Default Branch https://hg.codeplex.com/boogie Source/Dafny Source/DafnyDriver -------------------------------------------------------------------------------- Connected Properties: The Nito Connected Properties library provides a simple API to attach properties to most .NET objects at runtime. It is developed in C# with code contracts. https://hg.codeplex.com/connectedproperties/Source/ConnectedProperties https://hg.codeplex.com/connectedproperties/Source/ConnectedProperties (SL) -------------------------------------------------------------------------------- DbExecutor Simple and Lightweight Database Executor for .NET 4 Client Profile and all ADO.NET DbProviders(SQL Server, SQLCE, SQLite, SQL Azure, Entity SQL, MySql, Oracle, etc...). https://hg.codeplex.com/dbexecutor/DbExecutor -------------------------------------------------------------------------------- Elysium Elysium is library that implements Metro style for Windows Presentation Foundation applications. https://elysium.svn.codeplex.com/svn/Source code/Elysium https://elysium.svn.codeplex.com/svn/Source code/Elysium.Notifications https://elysium.svn.codeplex.com/svn/Source code/Elysium.Notifications.Server -------------------------------------------------------------------------------- Labs Framework Labs Framework enables you to create and manage experiments in C#, Visual Basic and F# during everyday software development using .NET 4.0/4.5, Silverlight 4/5 or Windows Phone 7.0/7.1. https://labs.svn.codeplex.com/svn/Main/Source/ -------------------------------------------------------------------------------- Mishra Reader Mishra Reader is a Google Reader client developed using WPF with focus on ergonomy and smooth animations. https://mishrareader.svn.codeplex.com/svn/Main/MishraReader https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.Controls https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.Controls.Metro https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.Entities https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.Entities.Metro https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.Metro https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ShareService.Facebook https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ShareService.Instapaper https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ShareService.ReadItLater https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ShareService.Twitter https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ViewModels https://mishrareader.svn.codeplex.com/svn/Main/MishraReader.ViewModels.Metro -------------------------------------------------------------------------------- Nito AsyncEx A helper library for using the Task-Based Asynchronous Pattern (TAP) and Visual Studio Async CTP / Visual Studio 11. The library includes XML documentation and code contracts. It is developed in C#. https://hg.codeplex.com/nitoasyncex/Source/Nito.AsyncEx (NET4) -------------------------------------------------------------------------------- QuickGraph QuickGraph provides generic directed/undirected graph datastructures and algorithms for .NET. QuickGraph comes with algorithms such as depth first seach, breath first search, A* search, shortest path, k-shortest path, maximum flow, minimum spanning tree, least common ancestors, etc... QuickGraph supports MSAGL, GLEE, and Graphviz to render the graphs, serialization to GraphML, etc... https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Data https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Glee https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Graphviz https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Heap https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Msagl https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Parallels https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Perf https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Petri https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.Samples https://quickgraph.svn.codeplex.com/svn/3.0/sources/QuickGraph.SeeIt https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph.Data https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph.Glee https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph.Graphviz https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph.Heap https://quickgraph.svn.codeplex.com/svn/2.0/sources/QuickGraph.Msagl -------------------------------------------------------------------------------- RXX -------------------------------------------------------------------------------- https://rxx.svn.codeplex.com/svn/Main/Source/Rxx -------------------------------------------------------------------------------- CCI -------------------------------------------------------------------------------- https://ccisamples.svn.codeplex.com/svn/Applications https://ccisamples.svn.codeplex.com/svn/Languages -------------------------------------------------------------------------------- Euromanager -------------------------------------------------------------------------------- https://hg.codeplex.com/euromanager/EuroManager.Domain.Simulator https://hg.codeplex.com/euromanager/EuroManager.Domain.Simulator.Tests https://hg.codeplex.com/euromanager/EuroManager.Presentation.WebPortal https://hg.codeplex.com/euromanager/EuroManager.Presentation.WebPortal.GameViewer https://hg.codeplex.com/euromanager/EuroManager.Services https://hg.codeplex.com/euromanager/Libraries -------------------------------------------------------------------------------- N Colony -------------------------------------------------------------------------------- https://ncolony.svn.codeplex.com/svn/dev -------------------------------------------------------------------------------- Shweet Shweet is a simple SharePoint Foundation 2010 application. https://shweet.svn.codeplex.com/svn/trunk/Shweet/src/Shweet.Engine/ https://shweet.svn.codeplex.com/svn/trunk/Shweet/src/Shweet.Repository/ https://shweet.svn.codeplex.com/svn/trunk/Shweet/src/Shweet.Silverlight/ https://shweet.svn.codeplex.com/svn/trunk/Shweet/src/Shweet.SPSolution/ --------------------------------------------------------------------------------- Scrabble A standalone implementation of the Scrabble board game for WPF. https://wpfscrabble.svn.codeplex.com/svn/Scrabble/