A framework for rapid development of reliable asynchronous software.
☆393Nov 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,670Aug 21, 2026Updated last week
- Push based .NET Streams☆291Nov 16, 2016Updated 9 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,593Updated this week
- This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.☆1,457Mar 11, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Binary serializer for POCO objects☆374Dec 8, 2022Updated 3 years ago
- Failure Detection and Consensus in Distributed Systems with F#☆37Mar 17, 2019Updated 7 years ago
- Even simpler and faster real-time web for ASP.NET Core.☆125Jun 3, 2020Updated 6 years ago
- Distributed database on Service Fabric which uses ESENT as the storage engine☆17Dec 3, 2015Updated 10 years ago
- A lightweight F#/C# library for efficient functional-style pipelines on streams of data.☆384May 22, 2020Updated 6 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka☆507Dec 15, 2025Updated 8 months ago
- Fast persistent queues for .NET☆223Dec 24, 2025Updated 8 months 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A cross-platform abstract/virtual filesystem framework with many built-ins filesystems for .NET☆940Jun 20, 2026Updated 2 months ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆46Jun 26, 2017Updated 9 years ago
- Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin☆1,896Mar 13, 2026Updated 5 months ago
- C# and F# language binding and extensions to Apache Spark☆948Dec 11, 2025Updated 8 months ago
- Cloud Native application framework for .NET☆10,851Updated this week
- Series and Panels for Real-time and Exploratory Analysis of Data Streams☆433Apr 16, 2023Updated 3 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆268Jun 3, 2023Updated 3 years ago
- MBrace Core Libraries & Runtime Foundations☆212Mar 12, 2020Updated 6 years ago
- ☆50Jun 11, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit☆22Apr 8, 2026Updated 4 months ago
- Performance benchmarking and testing framework for .NET applications☆540Sep 10, 2024Updated last year
- An automatic query optimizer-compiler for Sequential and Parallel LINQ.☆476Sep 28, 2019Updated 6 years ago
- A native memory manager for .NET☆337Jan 11, 2018Updated 8 years ago
- Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and tas…☆1,349Updated this week
- All in pursuit of ICorDebugModule2::ApplyChanges...☆11Mar 15, 2016Updated 10 years ago
- Async-friendly format for stack traces and exceptions☆212Jun 15, 2023Updated 3 years ago
- Kafunk: F# Kafka client☆160Nov 19, 2020Updated 5 years ago
- reactive socket middleware for .NET☆445Oct 26, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Reactive Streams for .NET☆202Jul 15, 2021Updated 5 years ago
- Owin Web Server in pure .Net☆535Jun 25, 2017Updated 9 years ago
- Microdot: An open source .NET microservices framework☆1,536Nov 16, 2023Updated 2 years ago
- Tools to let you use Roslyn-powered C# scripts for code generation☆620Dec 7, 2022Updated 3 years ago
- Polymorphic serialization for .NET☆280May 8, 2025Updated last year
- Zen is a constraint solving library for .NET☆148Jan 8, 2024Updated 2 years ago
- Managed replacement of System.Reflection[.Emit]☆132Feb 21, 2017Updated 9 years ago