A Java NIO.2 service provider for Amazon S3

Rust for Windows

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

The Kotlin Programming Language.

Use D3 to visualize simple git branching operations.

DSSAT Cropping System Model

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Network Analysis in Python

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

This repo is the home of the official documentation for Visual Studio.

WiX Toolset v3.x

Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming