Stars
Chronos: Pretrained Models for Time Series Forecasting
A Python async and event driven framework for algorithmic trading, with a focus on crypto currencies.
High-performance TensorFlow library for quantitative finance.
ZIO — A type-safe, composable library for async and concurrent programming in Scala
A utility to perform design-time builds of .NET projects without having to think too hard about it.
🔍 Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP Client
The official repo for the design of the C# programming language
This repository holds the source code of Microsoft.Testing.Platform (MTP), a lightweight alternative to VSTest, as well as MSTest adapter and framework.
Samples for building your own Visual Studio extensions
Testura.Code is a wrapper around the Roslyn API and used for generation, saving and compiling C# code. It provides methods and helpers to generate classes, methods, statements and expressions.
The Leon system for verification, synthesis, repair
Visual Studio Test Platform is the runner and engine that powers test explorer and vstest.console.
Zipline, a Pythonic Algorithmic Trading Library
SpecFlow plugin for using property-based testing with FsCheck in SpecFlow scenarios
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Simple .NET logging with fully-structured events
Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…
microsoft / docker
Forked from moby/mobyDocker - the open-source application container engine
Source code for the CodeContracts tools for .NET