Standalone MSBuild integration of CodeContracts (by Microsoft Research)
☆16Sep 11, 2019Updated 6 years ago
Alternatives and similar repositories for CodeContracts.MSBuild
Users that are interested in CodeContracts.MSBuild are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tool for removing .net code contracts from project☆14Jan 17, 2024Updated 2 years ago
- This is a Visual Studio extention that lets you edit project and solution files without having to unload or close them first. It will aut…☆11Apr 1, 2019Updated 7 years ago
- A thin library around Reactive Extensions to simplify writing evented applications in C#.☆13Jul 16, 2020Updated 6 years ago
- ☆14Jan 24, 2016Updated 10 years ago
- Original Xbox debug communication suite☆12Jul 10, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collection of IDA Pro plugins I wrote over the years☆24May 8, 2010Updated 16 years ago
- Visual Studio Code extension that colorizes key words for Halo Custom Edition scripts.☆10Jul 19, 2019Updated 7 years ago
- Clean, uncluttered fluent APIs in .NET☆24Jun 10, 2020Updated 6 years ago
- Track your programming activity in real-time in Visual Studio☆19Apr 29, 2026Updated 3 months ago
- Golang tool to scan hosts for SMB version and signing status☆16Nov 19, 2024Updated last year
- An opinionated library that removes some friction of the `CloudNative.CloudEvents` C# SDK by providing a strongly typed implementation of…☆11Jul 6, 2021Updated 5 years ago
- A repository for reporting issues in the editing kits for the MCC☆15Nov 23, 2022Updated 3 years ago
- Function.prototype.bind with typings for TypeScript☆15Nov 17, 2019Updated 6 years ago
- Visual Studio templates for creating DNX projects with F#.☆10Apr 5, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A middleman tool which allows you to use the Dragon Age Origins toolset build of FaceFX with the Halo 3 & Halo Reach Editing Kits to gene…☆10Aug 24, 2025Updated 11 months ago
- Assimilation of all previous H2 to H3 conversion tools under a UI☆11Jul 19, 2025Updated last year
- A set of Team City meta runners☆13Feb 9, 2021Updated 5 years ago
- A zsh plugin to use Esc+P to prepend proxychains (-q) to a command☆12Apr 24, 2016Updated 10 years ago
- 🎺 Pull Request Review Reminders for MSFT Teams☆16Aug 23, 2022Updated 3 years ago
- ☆12Jan 26, 2021Updated 5 years ago
- Some CS algos in Python 3☆11Apr 13, 2026Updated 3 months ago
- Web Administration for Windows Servers☆12Jul 30, 2025Updated last year
- ☆10May 3, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 🎨 Simple app that makes creating a new VSCode icon color scheme easier.☆11Dec 7, 2017Updated 8 years ago
- Implements a custom OBS/X-Split browser source that displays your realtime Zwift HR and power data on a custom gauge UI that can be added…☆11Aug 3, 2021Updated 5 years ago
- Microsoft Edge Microsoft Edge主页算法☆20Apr 15, 2019Updated 7 years ago
- A binary compatibility checking library for multiple versions of .NET assemblies☆22Oct 3, 2023Updated 2 years ago
- C# Preprocessor tool☆16Dec 24, 2018Updated 7 years ago
- If you just got a fresh Windows 10 and you don't know why your Internet stopped working around the same time, try this. These are scripts…☆11Jan 15, 2025Updated last year
- Call batched functions as normal functions☆11Dec 19, 2025Updated 7 months ago
- Extensions and wrappers for using R3 with F#.☆10May 24, 2026Updated 2 months ago
- QWIQ is a Quick Work Item Query library for Team Foundation Server / Visual Studio Online.☆14Jul 17, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DotLiquid template engine http handlers for Giraffe web applications.☆11Aug 26, 2023Updated 2 years ago
- Forked Shodo calligraphy HTML5 application provided by Microsoft.☆14Sep 25, 2018Updated 7 years ago
- Appleseed Portal - Appleseed allows individuals and organizations to unify Information into one Web Portal on the C# & ASP.NET Platform.☆14Apr 17, 2019Updated 7 years ago
- 对windows-api内容进行自动审查和过滤监控☆14May 30, 2017Updated 9 years ago
- DEPRECATED: No longer maintained☆12Apr 10, 2017Updated 9 years ago
- SparkEdit 2: Electric Boogaloo☆16Dec 13, 2021Updated 4 years ago
- A collection of patterns and practices libraries that emphasizes productivity, agility, and portability. http://commonsensesoftware.githu…☆31Jun 25, 2020Updated 6 years ago