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 9 months ago
• 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 last year
• 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
• microsoft / CLOG
  Open Source, cross-platform tool to generate logging/tracing code, using printf() style event descriptions
  ☆33Updated 8 months ago
• tlaplus / foundation
  TLA+ Foundation
  ☆30Updated last week
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 8 years ago
• microsoft / Windows-Social-Samples
  Sample applications for Social Integration with Windows 10
  ☆13Updated last year
• microsoft / ShortStack
  Stacked Pull Request Tool
  ☆11Updated last year
• microsoft / TestWinRT
  WinRT test component
  ☆19Updated last year
• kennykerr / lang-perf
  ☆12Updated 3 years ago
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 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 / verona-sandbox
  Library sandboxing for the Verona research language and usable in other contexts.
  ☆46Updated last year
• AndyGerlicher / MSBuildGraphVisualizer
  ☆8Updated 2 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
• microsoft / ApplicationInsights-Docker
  Application Insights for Dockerized Apps
  ☆18Updated 4 years ago
• JoinPatterns / ScalableJoins
  ScalableJoins
  ☆16Updated 9 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• kp-tech / fshlvm
  FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code gener…
  ☆28Updated 4 years ago
• microsoft / CLRInstrumentationEngine
  The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.
  ☆95Updated 3 months ago
• microsoft / storage-as-a-service
  ☆12Updated last year
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• losttech / TypeNum
  Type-level integers for C#
  ☆11Updated last year
• microsoft / hermes-ndv2
  Messaging library on top of NDv2 (Microsoft's RDMA interface)
  ☆12Updated last year
• mrlacey / DontCopyAlways
  Visual Studio extension that checks for files that have 'Copy to output directory' set to 'Copy always'.
  ☆11Updated last week
• IronScheme / IronScheme.VisualStudio2
  ☆12Updated 2 years ago
• mattwar / Kusto.Toolkit
  Tools to make building Kusto query analyzers easier.
  ☆22Updated 6 months ago
• jessiepathfinder / LesbianDB-v2.1
  An ultra-simple, high-performance, work-in-progress database
  ☆16Updated last year
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated 2 weeks ago
• jaredpar / UseNameOf
  Tool to convert C# code to use nameof vs string literals where appropriate.
  ☆9Updated 10 years ago