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 10 months ago
- 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
- Democratizing GPGPU programming through OpenCL and LINQ.☆184Updated 10 years ago
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Updated 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
- Source code for the CodeContracts tools for .NET☆892Updated 6 years ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆385Updated 5 years ago
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆501Updated 5 months ago
- A simple C# type for working with contiguous buffers.☆118Updated 8 years ago
- Automatically concurrent data fetching and request deduplication in C#.☆140Updated 9 years ago
- Under the rocks☆105Updated 7 years ago
- Performance benchmarking and testing framework for .NET applications☆540Updated 10 months ago
- Reactive Streams for .NET☆202Updated 4 years ago
- Library of monads for C#☆473Updated 5 years ago
- A probabilistic programming framework for C#☆97Updated 5 years ago
- Experimental concepts for C# using Roslyn☆80Updated 4 years ago
- CIL to WebAssembly compiler☆363Updated 9 years ago
- Public Nitra repository☆554Updated 4 years ago
- Manage your Paket (http://fsprojects.github.io/Paket/) dependencies from Visual Studio!☆147Updated 6 years ago
- Nitra is a language workbench☆146Updated 2 years ago
- Logs and metrics are one! Professional logging, metrics and analytics for your apps.☆528Updated 2 years ago
- Binary serializer for POCO objects☆375Updated 2 years ago
- This repository contains the notes and API differences that we reviewed.☆204Updated this week
- Discriminated unions, pattern matching and partial applications for C#☆268Updated 2 years ago
- The .NET port of HdrHistogram☆180Updated 11 months ago
- Roslyn based csc.exe and aspnet_compiler.exe replacement with metaprogramming hooks for ASP.NET MVC projects from the pre-DNX era☆157Updated last year
- Prajna: A Distributed Functional Programming Platform for Interactive Big Data Analytics and Cloud Service Building☆167Updated 9 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…☆159Updated 9 years ago