Alternatives and similar repositories for RingMaster

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

• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated last year
• microsoft / ShortStack
  Stacked Pull Request Tool
  ☆11Updated last year
• microsoft / Angara.Table
  A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text …
  ☆15Updated 2 years ago
• microsoft / Angara.Flow
  A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.
  ☆20Updated 2 years ago
• microsoft / data-in-use-protection-workshop
  A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.
  ☆12Updated 4 years ago
• shmuelie / CIL.JS
  A CIL (also known as MSIL) interpreter.
  ☆14Updated 4 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• WalkingCat / ch9-index
  Channel9 Content Index
  ☆41Updated 7 months ago
• microsoft / TestWinRT
  WinRT test component
  ☆19Updated 2 months ago
• tlaplus / foundation
  TLA+ Foundation
  ☆29Updated last week
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 2 years ago
• microsoft / hermes-ndv2
  Messaging library on top of NDv2 (Microsoft's RDMA interface)
  ☆12Updated 2 years ago
• kzu / CommandPromptHere
  Provides the Developer Command Prompt (here) context menu on folders
  ☆42Updated 5 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆33Updated last month
• microsoft / CorrelationVector
  Specification for the Correlation Vector - a protocol for tracing and correlation of events through a distributed system based on a light…
  ☆61Updated last year
• coapp / dllexport
  DllExport Utility
  ☆9Updated 13 years ago
• microsoft / storage-as-a-service
  ☆13Updated last year
• JoinPatterns / ScalableJoins
  ScalableJoins
  ☆16Updated 9 years ago
• praeclarum / Gone
  GO compiler for .NET
  ☆43Updated 5 years ago
• caseywatson / Mantle
  Mantle is a framework for building massively scalable .NET-based applications that can be hosted either on-premises or on a variety of pu…
  ☆27Updated 7 years ago
• jessiepathfinder / LesbianDB-v2.1
  An ultra-simple, high-performance, work-in-progress database
  ☆16Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 2 months ago
• microsoft / Windows-Social-Samples
  Sample applications for Social Integration with Windows 10
  ☆13Updated 2 years ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆17Updated 8 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• WalternativE / Silencer
  An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.
  ☆18Updated 4 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆50Updated 2 years ago
• dotnet-websharper / forms
  A library to build declarative, composable, reactive user interfaces with WebSharper.
  ☆14Updated last week
• microsoft / CLOG
  Open Source, cross-platform tool to generate logging/tracing code, using printf() style event descriptions
  ☆34Updated 11 months ago
• Infers / Infers
  A type-level logic programming language embedded in F#
  ☆32Updated 7 years ago