p-org / PSharp

Related projects ⓘ

Alternatives and complementary repositories for PSharp

• mbraceproject / MBrace.Core
  MBrace Core Libraries & Runtime Foundations
  ☆211Updated 4 years ago
• microsoft / AMBROSIA
  Robust Distributed Programming Made Easy and Efficient
  ☆418Updated 2 months ago
• davidfowl / Channels
  Push based .NET Streams
  ☆292Updated 8 years ago
• microsoft / CodeContracts
  Source code for the CodeContracts tools for .NET
  ☆883Updated 6 years ago
• jbakic / Shielded
  A strict and mostly lock-free Software Transactional Memory (STM) for .NET
  ☆239Updated last year
• antiufo / roslyn-linq-rewrite
  Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic …
  ☆716Updated 4 years ago
• OrleansContrib / Orleankka
  Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
  ☆495Updated 5 months ago
• microsoft / coyote
  Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
  ☆1,491Updated 2 months ago
• asynkron / Wire
  Binary serializer for POCO objects
  ☆376Updated last year
• microsoft / Tx
  Tx (LINQ to Events)
  ☆315Updated 2 years ago
• fsharp / fslang-design
  RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
  ☆519Updated 2 weeks ago
• daveaglick / Scripty
  Tools to let you use Roslyn-powered C# scripts for code generation
  ☆620Updated last year
• kg / ilwasm
  CIL to WebAssembly compiler
  ☆362Updated 9 years ago
• joeduffy / slice.net
  A simple C# type for working with contiguous buffers.
  ☆118Updated 7 years ago
• louthy / csharp-monad
  Library of monads for C#
  ☆463Updated 4 years ago
• dotnet / corefxlab
  This repo is for experimentation and exploring new ideas that may or may not make it into the main corefx repo.
  ☆1,460Updated 3 years ago
• fscheck / FsCheck
  Random Testing for .NET
  ☆1,167Updated 2 months ago
• petabridge / NBench
  Performance benchmarking and testing framework for .NET applications
  ☆533Updated 2 months ago
• fsprojects / FSharp.Data
  F# Data: Library for Data Access
  ☆817Updated last month
• nessos / Streams
  A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
  ☆383Updated 4 years ago
• reactive-streams / reactive-streams-dotnet
  Reactive Streams for .NET
  ☆198Updated 3 years ago
• fsprojects / Rezoom.SQL
  Statically typechecks a common SQL dialect and translates it to various RDBMS backends
  ☆670Updated 4 years ago
• nessos / LinqOptimizer
  An automatic query optimizer-compiler for Sequential and Parallel LINQ.
  ☆477Updated 5 years ago
• fsprojects / FAKE
  FAKE - F# Make
  ☆1,288Updated last week
• stephan-tolksdorf / fparsec
  A parser combinator library for F#
  ☆531Updated last year
• rsdn / nemerle
  Nemerle language. Main repository.
  ☆622Updated 2 years ago
• Reactive-Extensions / Reactor
  Foundations for a distributed implementation of Rx.
  ☆39Updated 7 years ago
• JetBrains / Nitra
  Public Nitra repository
  ☆554Updated 3 years ago
• nessos / GpuLinq
  Democratizing GPGPU programming through OpenCL and LINQ.
  ☆184Updated 9 years ago
• ProjectMagma / Magma
  Under the rocks
  ☆104Updated 6 years ago