A framework for rapid development of reliable asynchronous software.
☆392Nov 4, 2020Updated 5 years ago
Alternatives and similar repositories for PSharp
Users that are interested in PSharp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The P programming language.☆3,725Sep 3, 2026Updated last month
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,602Updated this week
- Push based .NET Streams☆291Nov 16, 2016Updated 9 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Dec 1, 2016Updated 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,452Mar 11, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Failure Detection and Consensus in Distributed Systems with F#☆37Mar 17, 2019Updated 7 years ago
- Binary serializer for POCO objects☆373Dec 8, 2022Updated 3 years ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆384May 22, 2020Updated 6 years ago
- Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …☆714Feb 2, 2020Updated 6 years ago
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆506Dec 15, 2025Updated 10 months ago
- Distributed database on Service Fabric which uses ESENT as the storage engine☆17Dec 3, 2015Updated 10 years ago
- C# and F# language binding and extensions to Apache Spark☆947Dec 11, 2025Updated 10 months ago
- A cross-platform abstract/virtual filesystem framework with many built-ins filesystems for .NET☆939Oct 19, 2026Updated last week
- Even simpler and faster real-time web for ASP.NET Core.☆125Jun 3, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Fast persistent queues for .NET☆224Dec 24, 2025Updated 10 months ago
- Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin☆1,898Mar 13, 2026Updated 7 months ago
- A native memory manager for .NET☆336Jan 11, 2018Updated 8 years ago
- Cloud Native application framework for .NET☆10,917Updated this week
- The MSR Ironclad project builds provably secure and reliable systems.☆271Jun 3, 2023Updated 3 years ago
- Series and Panels for Real-time and Exploratory Analysis of Data Streams☆432Apr 16, 2023Updated 3 years ago
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Sep 28, 2019Updated 7 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆46Jun 26, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Performance benchmarking and testing framework for .NET applications☆542Sep 10, 2024Updated 2 years ago
- Tools to let you use Roslyn-powered C# scripts for code generation☆618Dec 7, 2022Updated 3 years ago
- Linq-like extension functions for Arrays, Span<T>, and List<T> that are faster and allocate less.☆762Sep 26, 2025Updated last year
- Durable Task Framework allows users to write long running persistent workflows in C# using the async/await capabilities.☆1,743Updated this week
- In-memory event-sourced ACID-transactional distributed object graph engine for .NET Standard☆375Nov 26, 2023Updated 2 years ago
- Async-friendly format for stack traces and exceptions☆212Jun 15, 2023Updated 3 years ago
- Fast, flexible, and version-tolerant serializer for .NET☆224Dec 22, 2022Updated 3 years ago
- MBrace Core Libraries & Runtime Foundations☆211Mar 12, 2020Updated 6 years ago
- Making .NET open source accessible!☆556Feb 12, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C# Server UNISTACK framework [MOVED]☆391Jan 14, 2019Updated 7 years ago
- Polymorphic serialization for .NET☆282May 8, 2025Updated last year
- Source code for the CodeContracts tools for .NET☆893Oct 6, 2018Updated 8 years ago
- A tiny, friendly, C# parser construction library☆2,481Apr 18, 2024Updated 2 years ago
- Reactive Streams for .NET☆201Jul 15, 2021Updated 5 years ago
- Bond was a cross-platform framework for working with schematized data. The open-source project ended on March 31, 2025.☆2,622Apr 1, 2025Updated last year
- FT Naming service based on RAFT☆53Jun 5, 2018Updated 8 years ago