mateoatr Goto Github PK

alga

Algebraic graphs

benchmarkdotnet

Powerful .NET library for benchmarking

cecil

Cecil is a library to generate and inspect programs and libraries in the ECMA CIL form.

competitive-programming

core

Home repository for .NET Core

core-setup

Installer packages for the .NET Core runtime and libraries

coreclr

CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

docs

This repository contains .NET Documentation.

installer

.NET SDK Installer

lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in SSReflect-Coq and Agda2

linker

mathlib

Lean mathematical components library

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mem-doc

This is a document to help with .NET memory analysis and diagnostics.

roslyn

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

roslyn-analyzers

runtime

.NET is a cross-platform runtime and libraries, for cloud, IoT and desktop apps. It includes a garbage collector, JIT compiler, primitive data types and class libraries.

sdk

Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI

set.mm

Metamath source file for logic and set theory

swarm

Resource gathering + programming game

taskanalyzer

Analyze failed tasks and logs