Alternatives and similar repositories for Zen:

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

• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆54Updated last year
• LeeSanderson / Chess
  A concurency testing tool
  ☆56Updated 5 years ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 6 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆29Updated this week
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆49Updated 3 weeks ago
• microsoft / coyote-samples
  Get started with Coyote with these simple introductory sample projects.
  ☆52Updated 2 years ago
• jeffkl / MSBuildProjectCreator
  A fluent API for creating MSBuild projects for use by unit tests
  ☆47Updated 2 weeks ago
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆46Updated last year
• microsoft / Guan
  Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…
  ☆72Updated 6 months ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆52Updated 5 years ago
• microsoft / FrozenObjects
  FrozenObjects serializer and deserializer
  ☆90Updated 2 years ago
• nblumhardt / superpower
  A C# parser combinator library
  ☆19Updated 4 years ago
• xoofx / Broslyn
  A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj
  ☆73Updated 10 months ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 8 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆79Updated 4 years ago
• bartdesmet / ExpressionFutures
  Scratch pad for various expression tree improvements.
  ☆82Updated 2 years ago
• microsoft / perfviewjs
  Web-based Viewer for ETL and NetPerf Data
  ☆30Updated 2 years ago
• SergeyTeplyakov / ConcurrencyAnalyzers
  A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process
  ☆59Updated 2 years ago
• kkokosa / Mobius.ILasm
  Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.
  ☆54Updated last year
• pvginkel / Microsoft.CodeAnalysis.CSharp.PatternMatching
  Pattern matching for Roslyn syntax trees
  ☆29Updated 6 years ago
• sreejith-ms / Book-of-the-Runtime
  The Book of the Runtime (BOTR) for the .NET Runtime. Combined articles from the official CoreCLR repo about the non-trivial internals of …
  ☆67Updated 6 years ago
• benvillalobos / msbuildism
  MSBuild is complicated. Let's lift the veil on it.
  ☆132Updated last year
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆37Updated 2 months ago
• tmds / Tmds.LinuxAsync
  ☆25Updated 8 months ago
• benaadams / Ben.StringIntern
  String cache to merge duplicate strings; capped with 2 generation LRU eviction and further evictions on Gen2 GC collections.
  ☆69Updated 2 years ago
• simdutf / SimdUnicode
  Fast SIMD-based UTF-8 Validation in C#
  ☆41Updated 5 months ago
• SingleAccretion / dotnet-diff
  A tool that finds differences between .NET assemblies
  ☆62Updated 2 years ago
• drewnoakes / amusing
  A command-line tool that shows what namespaces you am-using.
  ☆27Updated 2 years ago
• philips-software / roslyn-analyzers
  Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includ…
  ☆51Updated 6 months ago
• NeilMacMullen / kusto-loco
  C# KQL query engine with flexible I/O layers and visualization
  ☆61Updated last week