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:
- MBrace Core Libraries & Runtime Foundations☆211Updated 5 years ago
- Push based .NET Streams☆292Updated 8 years ago
- A strict and mostly lock-free Software Transactional Memory (STM) for .NET☆249Updated 2 years ago
- Robust Distributed Programming Made Easy and Efficient☆420Updated 8 months ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆385Updated 5 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
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆499Updated 3 months ago
- Tools to let you use Roslyn-powered C# scripts for code generation☆618Updated 2 years ago
- A simple C# type for working with contiguous buffers.☆119Updated 8 years ago
- Source code for the CodeContracts tools for .NET☆888Updated 6 years ago
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Updated 5 years ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,550Updated 5 months ago
- Democratizing GPGPU programming through OpenCL and LINQ.☆184Updated 10 years ago
- Random Testing for .NET☆1,182Updated last month
- A native memory manager for .NET☆334Updated 7 years ago
- Library of monads for C#☆474Updated 4 years ago
- A prototypical .NET solution (file system layout and tooling), recommended for F# projects☆519Updated last year
- CIL to WebAssembly compiler☆363Updated 9 years ago
- This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.☆1,455Updated 4 years ago
- Performance benchmarking and testing framework for .NET applications☆539Updated 8 months ago
- Automatically concurrent data fetching and request deduplication in C#.☆141Updated 8 years ago
- Logs and metrics are one! Professional logging, metrics and analytics for your apps.☆527Updated 2 years ago
- Binary serializer for POCO objects☆375Updated 2 years ago
- Under the rocks☆106Updated 6 years ago
- A fail-fast validating helper for .NET CIL generation☆989Updated 4 years ago
- Reactive Streams for .NET☆201Updated 3 years ago
- Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null d…☆745Updated last year
- Nemerle language. Main repository.☆625Updated 2 months ago
- Tx (LINQ to Events)☆318Updated 2 years 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 8 years ago