p-org / PSharp
A framework for rapid development of reliable asynchronous software.
☆390Updated 3 years ago
Related projects: ⓘ
- Robust Distributed Programming Made Easy and Efficient☆417Updated this week
- Source code for the CodeContracts tools for .NET☆882Updated 5 years ago
- Push based .NET Streams☆292Updated 7 years ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,475Updated 2 weeks ago
- Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …☆717Updated 4 years ago
- MBrace Core Libraries & Runtime Foundations☆209Updated 4 years ago
- A strict and mostly lock-free Software Transactional Memory (STM) for .NET☆239Updated last year
- Reliable Services and Reliable Actors are Service Fabric application frameworks for building highly-scalable distributed cloud applicatio…☆269Updated this week
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆492Updated 2 months ago
- A prototypical .NET solution (file system layout and tooling), recommended for F# projects☆515Updated last year
- This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.☆1,462Updated 3 years ago
- Random Testing for .NET☆1,162Updated 2 weeks ago
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆477Updated 4 years ago
- Democratizing GPGPU programming through OpenCL and LINQ.☆183Updated 9 years ago
- CIL to WebAssembly compiler☆362Updated 8 years ago
- Library of monads for C#☆463Updated 4 years ago
- Tools to let you use Roslyn-powered C# scripts for code generation☆620Updated last year
- Performance benchmarking and testing framework for .NET applications☆532Updated last week
- RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas☆515Updated last month
- Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null d…☆730Updated 8 months ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆381Updated 4 years ago
- Logs and metrics are one! Professional logging, metrics and analytics for your apps.☆527Updated last year
- LLVM bindings for .NET Standard written in C# using ClangSharp☆839Updated 4 months ago
- Discriminated unions, pattern matching and partial applications for C#☆266Updated last year
- ☆388Updated this week
- A fail-fast validating helper for .NET CIL generation☆984Updated 3 years ago
- This repository contains the notes and API differences that we reviewed.☆190Updated last week
- Statically typechecks a common SQL dialect and translates it to various RDBMS backends☆670Updated 4 years ago
- Reactive Streams for .NET☆197Updated 3 years ago
- A simple C# type for working with contiguous buffers.☆118Updated 7 years ago