Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A Lean companion to Analysis I

This repository is for active development of the Azure SDK for .NET. For consumers of the SDK we recommend visiting our public developer docs at https://learn.microsoft.com/dotnet/azure/ or our ver…

A project to map out the relations between different equational theories of Magmas.

Hosts the website for mathlib and other Lean community infrastructure.

ASP.NET Core OData: A server library built upon ODataLib and ASP.NET Core

NUnit 3 Framework

Documentation for all active NUnit projects

Theorem Proving in Lean 4

Simple, unambitious mediator implementation in .NET

Math.NET Numerics

Some Lean tutorials

Toolset for computer-aided analysis written in Rust

SOAP extension for ASP.NET Core

Rust / Wasm framework for building client web apps

Lean Library currently studying for a degree at Imperial College

The official repo for the design of the C# programming language

This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.

The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

ChakraCore is the core part of the Chakra Javascript engine that powers Microsoft Edge

An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.

A professional ASP.NET MVC template for building secure, fast, robust and adaptable web applications or sites. It provides the minimum amount of code required on top of the default MVC template pro…

A safe, concurrent, practical language.

Explorer for chocolatey, requires the install of chocolatey

A lightweight implementation of ASP.NET MVC APIs for mobile devices.

An Extensible, Concurrent Web Framework for Rust

A path tracer in rust

Simple, powerful, cross-platform SQLite client and ORM - Updated version with PCL support