Alternatives and similar repositories for PSharp:

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

• davidfowl / Channels
  Push based .NET Streams
  ☆292Updated 8 years ago
• mbraceproject / MBrace.Core
  MBrace Core Libraries & Runtime Foundations
  ☆211Updated 5 years ago
• microsoft / CodeContracts
  Source code for the CodeContracts tools for .NET
  ☆887Updated 6 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 …
  ☆715Updated 5 years ago
• nessos / GpuLinq
  Democratizing GPGPU programming through OpenCL and LINQ.
  ☆184Updated 9 years ago
• microsoft / AMBROSIA
  Robust Distributed Programming Made Easy and Efficient
  ☆420Updated 6 months ago
• nessos / Streams
  A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
  ☆384Updated 4 years ago
• kg / ilwasm
  CIL to WebAssembly compiler
  ☆363Updated 9 years ago
• jbakic / Shielded
  A strict and mostly lock-free Software Transactional Memory (STM) for .NET
  ☆249Updated 2 years ago
• nessos / LinqOptimizer
  An automatic query optimizer-compiler for Sequential and Parallel LINQ.
  ☆477Updated 5 years ago
• fsprojects / ProjectScaffold
  A prototypical .NET solution (file system layout and tooling), recommended for F# projects
  ☆517Updated 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,454Updated 4 years ago
• daveaglick / Scripty
  Tools to let you use Roslyn-powered C# scripts for code generation
  ☆618Updated 2 years ago
• kevin-montrose / Sigil
  A fail-fast validating helper for .NET CIL generation
  ☆987Updated 4 years ago
• reactive-streams / reactive-streams-dotnet
  Reactive Streams for .NET
  ☆200Updated 3 years ago
• microsoft / coyote
  Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
  ☆1,528Updated 3 months ago
• OrleansContrib / Orleankka
  Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
  ☆497Updated last month
• joeduffy / slice.net
  A simple C# type for working with contiguous buffers.
  ☆119Updated 7 years ago
• Hopac / Hopac
  http://hopac.github.io/Hopac/Hopac.html
  ☆527Updated 3 years ago
• DavidArno / SuccincT
  Discriminated unions, pattern matching and partial applications for C#
  ☆267Updated 2 years ago
• fsprojects / FSharp.Data
  F# Data: Library for Data Access
  ☆833Updated this week
• fscheck / FsCheck
  Random Testing for .NET
  ☆1,179Updated this week
• StackExchange / StackExchange.Precompilation
  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
• fsprojects / Rezoom.SQL
  Statically typechecks a common SQL dialect and translates it to various RDBMS backends
  ☆676Updated 4 years ago
• microsoft / service-fabric-services-and-actors-dotnet
  Reliable Services and Reliable Actors are Service Fabric application frameworks for building highly-scalable distributed cloud applicatio…
  ☆269Updated this week
• fsharp / fsharp-compiler-docs
  Doc build for FSharp.Compiler.Service
  ☆281Updated this week
• microsoft / fsharplu
  This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing…
  ☆364Updated 9 months ago
• asynkron / Wire
  Binary serializer for POCO objects
  ☆375Updated 2 years ago
• DustinCampbell / CSharpEssentials
  C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language fe…
  ☆160Updated 8 years ago
• SuaveIO / suave
  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,329Updated 3 weeks ago