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…
  ☆81Updated 5 months ago
• endjin / Z3.Linq
  LINQ bindings for the Z3 theorem prover from Microsoft Research.
  ☆39Updated last month
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 7 years ago
• jaredpar / complog
  Basic Compilation Log support
  ☆37Updated this week
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆52Updated 7 months ago
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆16Updated last year
• xoofx / Broslyn
  A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj
  ☆76Updated last year
• benvillalobos / msbuildism
  MSBuild is complicated. Let's lift the veil on it.
  ☆135Updated 2 years ago
• bartdesmet / ExpressionFutures
  Scratch pad for various expression tree improvements.
  ☆82Updated 2 years ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆58Updated 6 years ago
• SergeyTeplyakov / ConcurrencyAnalyzers
  A set of post-mortem analyzers for discovering threading/tasks issue in a dump or a process
  ☆65Updated 4 months ago
• microsoft / FrozenObjects
  FrozenObjects serializer and deserializer
  ☆92Updated 3 years ago
• kg / SimdDictionary
  Vectorized generic dictionary prototype
  ☆25Updated 8 months ago
• dotnet / source-indexer
  This repo contains the code for building http://source.dot.net
  ☆51Updated 2 weeks ago
• tunnelvisionlabs / dotnet-trees
  Efficient implementations of standard .NET collection interfaces using tree data structures
  ☆46Updated 4 years ago
• mattwar / UnionTypes.Toolkit
  Tools for experimenting with union types.
  ☆30Updated 5 months ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 5 years ago
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆48Updated last year
• ForNeVeR / Fenrir
  .NET library to work with Git repositories
  ☆34Updated last week
• kkokosa / Mobius.ILasm
  Common Intermediate Language (CIL) assembler available as a library, based on Mono assembler.
  ☆56Updated 2 years ago
• archi-Doc / BigMachines
  BigMachines is State Machine library for .NET
  ☆43Updated last month
• jeffkl / MSBuildProjectCreator
  A fluent API for creating MSBuild projects for use by unit tests
  ☆50Updated last week
• rainersigwald / build-task-in-solution-demo
  Small demonstration of building and using an MSBuild task in the same build.
  ☆31Updated 2 months ago
• SergeyTeplyakov / StructRecordsGenerator
  A set of generators helping dealing with structs in C#
  ☆48Updated 4 years ago
• microsoft / MSBuildCache
  A plugin for MSBuild that adds support for storing and retrieving cache entries.
  ☆50Updated last week
• benjamin-hodgson / Sawmill
  Simple tools for working with immutable trees
  ☆59Updated last week
• microsoft / NugetNinja
  A tool for detecting dependencies of .NET projects.
  ☆91Updated 9 months ago
• krasin-ga / matryoshki
  High-performance zero-reflection approach to C# metaprogramming
  ☆31Updated 11 months ago
• philips-software / roslyn-analyzers
  Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includ…
  ☆55Updated this week