Alternatives and similar repositories for PSharp

Users that are interested in PSharp are comparing it to the libraries listed below

• mbraceproject / MBrace.Core
  MBrace Core Libraries & Runtime Foundations
  ☆210Updated 5 years ago
• microsoft / AMBROSIA
  Robust Distributed Programming Made Easy and Efficient
  ☆422Updated last year
• nessos / GpuLinq
  Democratizing GPGPU programming through OpenCL and LINQ.
  ☆184Updated 10 years ago
• davidfowl / Channels
  Push based .NET Streams
  ☆292Updated 9 years ago
• OrleansContrib / Orleankka
  Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
  ☆503Updated 10 months ago
• jbakic / Shielded
  A strict and mostly lock-free Software Transactional Memory (STM) for .NET
  ☆249Updated 3 years ago
• nessos / Streams
  A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
  ☆385Updated 5 years ago
• nessos / LinqOptimizer
  An automatic query optimizer-compiler for Sequential and Parallel LINQ.
  ☆476Updated 6 years ago
• fsprojects / ProjectScaffold
  A prototypical .NET solution (file system layout and tooling), recommended for F# projects
  ☆521Updated 2 years ago
• antiufo / roslyn-linq-rewrite
  Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …
  ☆714Updated 5 years ago
• microsoft / CodeContracts
  Source code for the CodeContracts tools for .NET
  ☆895Updated 7 years ago
• louthy / csharp-monad
  Library of monads for C#
  ☆474Updated 5 years ago
• joeduffy / slice.net
  A simple C# type for working with contiguous buffers.
  ☆118Updated 8 years ago
• kg / ilwasm
  CIL to WebAssembly compiler
  ☆365Updated 10 years ago
• DavidArno / SuccincT
  Discriminated unions, pattern matching and partial applications for C#
  ☆268Updated 3 years ago
• fsharp / fsharp-compiler-docs
  Doc build for FSharp.Compiler.Service
  ☆280Updated this week
• dotnet / apireviews
  This repository contains the notes and API differences that we reviewed.
  ☆206Updated last week
• MSRCCS / Prajna
  Prajna: A Distributed Functional Programming Platform for Interactive Big Data Analytics and Cloud Service Building
  ☆167Updated 9 years ago
• fsprojects / Paket.VisualStudio
  Manage your Paket (http://fsprojects.github.io/Paket/) dependencies from Visual Studio!
  ☆148Updated 6 years ago
• microsoft / Tx
  Tx (LINQ to Events)
  ☆321Updated 3 years ago
• rsdn / nemerle
  Nemerle language. Main repository.
  ☆630Updated 9 months ago
• microsoft / fsharplu
  This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing…
  ☆370Updated last year
• dotnet / corefxlab
  This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.
  ☆1,456Updated 4 years ago
• causiq / logary
  Logs and metrics are one! Professional logging, metrics and analytics for your apps.
  ☆530Updated 2 years ago
• ProjectMagma / Magma
  Under the rocks
  ☆105Updated 7 years ago
• fsprojects / Rezoom.SQL
  Statically typechecks a common SQL dialect and translates it to various RDBMS backends
  ☆677Updated 5 years ago
• reactive-streams / reactive-streams-dotnet
  Reactive Streams for .NET
  ☆202Updated 4 years ago
• xyncro / freya
  Freya Web Stack - Meta-Package
  ☆328Updated 3 years ago
• MattWindsor91 / roslyn
  Experimental concepts for C# using Roslyn
  ☆81Updated 4 years ago
• fslaborg / FSharp.Charting
  Charting library suitable for interactive F# scripting
  ☆210Updated 5 years ago