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
- Robust Distributed Programming Made Easy and Efficient☆421Updated 9 months ago
- Push based .NET Streams☆292Updated 8 years ago
- Democratizing GPGPU programming through OpenCL and LINQ.☆184Updated 10 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
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Updated 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
- A prototypical .NET solution (file system layout and tooling), recommended for F# projects☆519Updated last year
- A strict and mostly lock-free Software Transactional Memory (STM) for .NET☆249Updated 2 years ago
- A simple C# type for working with contiguous buffers.☆119Updated 8 years ago
- Library of monads for C#☆474Updated 5 years 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…☆159Updated 9 years ago
- Logs and metrics are one! Professional logging, metrics and analytics for your apps.☆527Updated 2 years ago
- Discriminated unions, pattern matching and partial applications for C#☆269Updated 2 years ago
- This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.☆1,453Updated 4 years ago
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆501Updated 5 months ago
- A probabilistic programming framework for C#☆96Updated 5 years ago
- Reactive Streams for .NET☆201Updated 4 years ago
- Manage your Paket (http://fsprojects.github.io/Paket/) dependencies from Visual Studio!☆147Updated 6 years ago
- Prajna: A Distributed Functional Programming Platform for Interactive Big Data Analytics and Cloud Service Building☆167Updated 9 years ago
- The Ultimate .NET Experiment☆356Updated 6 years ago
- Random Testing for .NET☆1,185Updated last month
- Under the rocks☆105Updated 7 years ago
- Binary serializer for POCO objects☆375Updated 2 years ago
- CIL to WebAssembly compiler☆363Updated 9 years ago
- [ARCHIVED] Power commands for F# in Visual Studio☆310Updated 6 years ago
- Public Nitra repository☆553Updated 4 years ago
- Nemerle language. Main repository.☆626Updated 4 months ago