p-org / PSharpLinks
A framework for rapid development of reliable asynchronous software.
☆391Updated 4 years ago
Alternatives and similar repositories for PSharp
Users that are interested in PSharp are comparing it to the libraries listed below
Sorting:
- Robust Distributed Programming Made Easy and Efficient☆421Updated 9 months ago
- Push based .NET Streams☆292Updated 8 years ago
- MBrace Core Libraries & Runtime Foundations☆211Updated 5 years ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,558Updated 6 months ago
- Source code for the CodeContracts tools for .NET☆890Updated 6 years ago
- Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …☆715Updated 5 years ago
- A prototypical .NET solution (file system layout and tooling), recommended for F# projects☆519Updated last year
- Random Testing for .NET☆1,184Updated 3 weeks ago
- C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language fe…☆160Updated 9 years ago
- Discriminated unions, pattern matching and partial applications for C#☆269Updated 2 years ago
- Library of monads for C#☆474Updated 5 years ago
- Democratizing GPGPU programming through OpenCL and LINQ.☆184Updated 10 years ago
- A simple C# type for working with contiguous buffers.☆119Updated 8 years ago
- Tools to let you use Roslyn-powered C# scripts for code generation☆619Updated 2 years ago
- [ARCHIVED] Power commands for F# in Visual Studio☆310Updated 5 years ago
- Reactive Streams for .NET☆201Updated 3 years ago
- Statically typechecks a common SQL dialect and translates it to various RDBMS backends☆676Updated 4 years ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆385Updated 5 years ago
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Updated 5 years ago
- FAKE - F# Make☆1,311Updated 3 months ago
- F# Data: Library for Data Access☆842Updated this week
- CIL to WebAssembly compiler☆363Updated 9 years ago
- Binary serializer for POCO objects☆375Updated 2 years ago
- A strict and mostly lock-free Software Transactional Memory (STM) for .NET☆249Updated 2 years ago
- Performance benchmarking and testing framework for .NET applications☆539Updated 9 months ago
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆500Updated 4 months ago
- Freya Web Stack - Meta-Package☆328Updated 3 years ago
- Under the rocks☆106Updated 7 years ago
- RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas☆536Updated last week
- Doc build for FSharp.Compiler.Service☆281Updated this week