Submissions from codeplex.com

		CodePlex Archive: 1 month until shutdown (codeplex.com)
		2 points by rlv-dan on June 1, 2021 \| past
		Moving CodePlex to read-only (codeplex.com)
		1 point by smaili on Nov 16, 2017 \| past
		X86 Proved: Coq Library for Modelling, Specification, Generation and Proof for X86 (codeplex.com)
		60 points by based2 on Oct 8, 2017 \| past \| 5 comments
		NeuralStyler codeplex [updated] (codeplex.com)
		3 points by motralcombact on Sept 13, 2016 \| past
		NeuralStyler [codeplex] (codeplex.com)
		3 points by rupeshs on Sept 12, 2016 \| past \| 1 comment
		Live Distributed Objects (codeplex.com)
		2 points by wslh on Aug 27, 2016 \| past
		Protect your data with Veracrypt, based on the Truecrypt codebase (codeplex.com)
		5 points by compil3r on Aug 14, 2016 \| past
		Freeze Frame File System – From Cornell (codeplex.com)
		4 points by SEJeff on June 1, 2016 \| past \| 1 comment
		Swift for Windows (codeplex.com)
		43 points by chrisamanse on May 7, 2016 \| past \| 21 comments
		DMC in pure C++: Tabled, for now (2015) (codeplex.com)
		1 point by markh20 on March 24, 2016 \| past \| 1 comment
		VeraCrypt 1.17 (February 13th, 2016) – CVE-2016-1281 (codeplex.com)
		6 points by based2 on Feb 14, 2016 \| past
		SafeInt (codeplex.com)
		1 point by mataug on Jan 27, 2016 \| past \| 1 comment
		Work with MS Excel and OpenOffice Calc Spreadsheets Using Cloud SDK for CSharp (codeplex.com)
		1 point by zondray on Jan 20, 2016 \| past
		CMake Tools for Visual Studio 1.4 RC1 Available (codeplex.com)
		1 point by golubdr on Jan 3, 2016 \| past
		VeraCrypt Patches Two Newly-Discovered TrueCrypt Vulnerabilities (codeplex.com)
		16 points by david_shaw on Sept 28, 2015 \| past \| 2 comments
		IronScheme (codeplex.com)
		2 points by giancarlostoro on June 12, 2015 \| past
		Parallel STL (codeplex.com)
		47 points by wfunction on May 8, 2015 \| past \| 17 comments
		Python Tools for VS 2.2 RC Released (codeplex.com)
		1 point by chupapuma on April 29, 2015 \| past
		Situation of NuGet codeplex (codeplex.com)
		1 point by yasoob on March 26, 2015 \| past
		Essence# – A Smalltalk-based language for .NET (codeplex.com)
		14 points by manojlds on March 20, 2015 \| past
		Call Code in Your Xbox One and PC Games from Managed Applications with MSTDK RPC (codeplex.com)
		2 points by DubiousPusher on Feb 16, 2015 \| past
		Node.js Tools RC2 for Visual Studio: improved stability, TypeScript support (codeplex.com)
		4 points by mousetraps on Jan 12, 2015 \| past
		RDMA Transfer with the Isis2 Cloud Computing Library (codeplex.com)
		1 point by DyslexicAtheist on Jan 12, 2015 \| past
		Microsoft: Orleans Goes Open Source (codeplex.com)
		2 points by sargun on Dec 15, 2014 \| past
		Microsoft Orleans to Go Open Source (codeplex.com)
		4 points by deegles on Dec 13, 2014 \| past \| 1 comment
		Node.js Tools RC for Visual Studio: improved editing/formatting, npm integration (codeplex.com)
		3 points by mousetraps on Nov 24, 2014 \| past
		Node.js Tools Beta 3 for Visual Studio: improved analysis, npm integration... (codeplex.com)
		3 points by mousetraps on Oct 30, 2014 \| past
		String Interpolation for C# (codeplex.com)
		1 point by c0deporn on Oct 27, 2014 \| past
		Microsoft's Python IDE (PTVS 2.1 final)now available (codeplex.com)
		4 points by smortaz on Oct 15, 2014 \| past
		VeraCrypt - the TrueCrypt successor? (codeplex.com)
		4 points by tonteldoos on Oct 14, 2014 \| past
		More

HN For You