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
  ☆16Updated last year
• shmuelie / CIL.JS
  A CIL (also known as MSIL) interpreter.
  ☆14Updated 4 years ago
• microsoft / ShortStack
  Stacked Pull Request Tool
  ☆11Updated 2 years ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆17Updated 8 years ago
• microsoft / Angara
  Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller
  ☆25Updated 2 years ago
• KirillOsenkov / Benchmarks
  My collection of benchmarks for random pieces of code
  ☆13Updated last year
• microsoft / storage-as-a-service
  ☆13Updated 2 years ago
• microsoft / CLRInstrumentationEngine
  The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.
  ☆98Updated 9 months ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 7 years ago
• microsoft / Angara.Statistics
  A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.
  ☆18Updated 3 years ago
• jessiepathfinder / LesbianDB-v2.1
  An ultra-simple, high-performance, work-in-progress database
  ☆16Updated 2 years ago
• microsoft / CorrelationVector-CSharp
  CorrelationVector-C# provides a reference C# implementation of the CorrelationVector protocol for tracing and correlation of events throu…
  ☆14Updated 2 years ago
• plioi / parsley
  ☆61Updated 5 months ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆55Updated 2 years ago
• microsoft / Angara.Chart
  Allows to define and display a chart as a collection of plots such as line, band, markers, heatmap. Supports visualization of uncertain v…
  ☆27Updated 2 years ago
• daveaglick / MsBuildPipeLogger
  A logger for MSBuild that sends event data over anonymous or named pipes.
  ☆23Updated last year
• microsoft / MetricSystem
  Suite of libraries and applications for collecting high volume performance counter data
  ☆69Updated 2 years ago
• johnazariah / fsm-orleans
  Strongly Typed State Machine DSL/Compiler for Orleans Actors
  ☆26Updated 8 years ago
• WalkingCat / ch9-index
  Channel9 Content Index
  ☆42Updated 10 months ago
• kkokosa / MemoryVisualizer
  Visualization of the managed memory.
  ☆84Updated 8 years ago
• DustinCampbell / NZag
  A Z-Machine interpreter and JIT compiler written in F# and C#
  ☆14Updated 7 years ago
• microsoft / QuickInject
  QuickInject is a simple dependency injection container for .NET Core
  ☆46Updated 2 years ago
• losttech / TypeNum
  Type-level integers for C#
  ☆11Updated last year
• glitchdotcom / RoslynGenerator
  A C# code generator using Roslyn, extracted from Wasabi v3.1.0. MIT licensed.
  ☆46Updated 10 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
• dotnet / symreader
  Managed definitions for COM interfaces exposed by DiaSymReader APIs
  ☆53Updated this week
• dmohl / Fog
  Fog brings the cloud down to earth and harnesses it with F#.
  ☆57Updated 11 years ago
• microsoft / Microsoft.Diagnostics.Tracing.Logging
  .NET library for logging data via EventSource/ETW
  ☆87Updated 2 years ago
• nanoframework / System.Net
  .NET nanoFramework System.Net Class Library
  ☆12Updated 5 months ago
• microsoft / elfie-arriba
  open source search projects
  ☆81Updated 2 years ago