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
  ☆55Updated 2 years ago
• 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…
  ☆83Updated 6 months ago
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 7 years ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆60Updated 6 years ago
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆48Updated 2 years ago
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆39Updated 2 months ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆53Updated 9 months ago
• bartdesmet / ExpressionFutures
  Scratch pad for various expression tree improvements.
  ☆83Updated 3 years ago
• dotnet / jitutils
  ☆158Updated 2 weeks ago
• kkokosa / Mobius.ILasm
  Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.
  ☆56Updated 2 years ago
• benjamin-hodgson / Sawmill
  Simple tools for working with immutable trees
  ☆60Updated this week
• MattWindsor91 / roslyn
  Experimental concepts for C# using Roslyn
  ☆80Updated 4 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆38Updated this week
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 6 years ago
• microsoft / FrozenObjects
  FrozenObjects serializer and deserializer
  ☆92Updated 3 years ago
• chsienki / Kittitas
  An In-Memory version of the Roslyn compiler that can be used to debug components in the Roslyn pipeline
  ☆113Updated 4 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 …
  ☆70Updated 7 years ago
• amis92 / RecordGenerator
  C# immutable records generator
  ☆73Updated 5 years ago
• ExRam / ExRam.ReactiveCollections
  Reactive Extensions + Immutable Collections = Reactive Collections !
  ☆20Updated 4 years ago
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆147Updated last week
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆16Updated last year
• tompazourek / Rationals
  🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
  ☆90Updated 5 months ago
• xoofx / Broslyn
  A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj
  ☆76Updated last year
• dotnet / source-indexer
  This repo contains the code for building http://source.dot.net
  ☆52Updated 3 weeks ago
• benvillalobos / msbuildism
  MSBuild is complicated. Let's lift the veil on it.
  ☆135Updated 2 years ago
• microsoft / QuickInject
  QuickInject is a simple dependency injection container for .NET Core
  ☆46Updated 2 years ago
• SergeyTeplyakov / StructRecordsGenerator
  A set of generators helping dealing with structs in C#
  ☆48Updated 4 years ago
• SergeyTeplyakov / ConcurrencyAnalyzers
  A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process
  ☆65Updated 6 months ago
• krasin-ga / matryoshki
  High-performance zero-reflection approach to C# metaprogramming
  ☆31Updated last year
• WhiteBlackGoose / UnitsOfMeasure
  Conceptual repo. Most advanced compile time safe units of measure for C# and F#
  ☆61Updated 3 years ago