Zen is a constraint solving library for .NET
☆143Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for Zen
Users that are interested in Zen are comparing it to the libraries listed below
Sorting:
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Aug 30, 2023Updated 2 years ago
- Small C# caching and cache-filling library, intended as a replacement for memcached in many cases.☆14Apr 28, 2025Updated 9 months ago
- ☆15Jan 3, 2026Updated last month
- Binary object notation - a standard for representing JSON in a compact, efficient format☆16Jun 12, 2023Updated 2 years ago
- This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)☆43Updated this week
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17May 29, 2024Updated last year
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆62Feb 1, 2024Updated 2 years ago
- WPF/MVVM Xml Viewer for large Xml files (Alpha Version)☆18Dec 21, 2018Updated 7 years ago
- A minimal message queue☆11Dec 11, 2022Updated 3 years ago
- An extensible visual programming system.☆10May 8, 2016Updated 9 years ago
- ☆11Sep 3, 2024Updated last year
- Object Analysis Toolkit is a C# library for analyzing objects using Rules.☆100Feb 11, 2026Updated 2 weeks ago
- Post-build IL optimizer and intermediate representation for .NET programs☆152Jan 25, 2025Updated last year
- Standalone XQuery and SQL Implementation in .NET☆12Apr 27, 2023Updated 2 years ago
- The service broker libraries used by Visual Studio to exchange intra- and inter-process services☆28Updated this week
- A metacompiler to extend C# via transpiling.☆32Jun 6, 2017Updated 8 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- Roslyn portable (aka RoslynP) is an experimental Roslyn subset intended for use with any language, not just C# and VB supported by normal…☆14Dec 20, 2020Updated 5 years ago
- A source generator for embedding resource files directly into your assembly. Access them as a `ReadOnlySpan<byte>`, with no allocations o…☆24Aug 6, 2022Updated 3 years ago
- Library that aims to simlify work with .NET Compiler Platform ("Roslyn").☆11Feb 28, 2025Updated last year
- Fast & simple reader and writer for in-preview Visual Studio SLNX files☆15Feb 8, 2025Updated last year
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Jul 23, 2025Updated 7 months ago
- open source search projects☆82Jun 12, 2023Updated 2 years ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- A .NET library to parse XML at lightspeed with zero allocation.☆119Mar 17, 2024Updated last year
- Generate the FFI (foreign function interface) from a C header.☆19Jan 21, 2025Updated last year
- DeveelDB Core is an embeddable SQL-99 database system for .NET Core and .NET Standard frameworks, derived from DeveelDB (http://github.co…☆17Sep 9, 2017Updated 8 years ago
- C# examples using WebGPU and NativeAOT☆49Jan 27, 2023Updated 3 years ago
- Simple Archive Format - A minimal, stream-friendly format for file/object archiving.☆48Jul 9, 2024Updated last year
- Varena is a .NET library that provides a fast and lightweight arena allocator using virtual memory.☆196Mar 17, 2024Updated last year
- ☆20Jul 28, 2022Updated 3 years ago
- This parser is an implementation of a Packrat Parser with support for left-recursion. The algorithm for left recursion is a modified vers…☆16Nov 11, 2019Updated 6 years ago
- Performace Profiler/Monitor for .net applications☆20Dec 13, 2022Updated 3 years ago
- Security utilities for key generation, string redaction, etc.☆39Nov 12, 2025Updated 3 months ago
- Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.☆1,577Dec 11, 2024Updated last year
- This library provides struct based collections for high performance and low memory usage☆36Oct 27, 2024Updated last year
- A modern compile-time generated interception/proxy library☆141Apr 20, 2023Updated 2 years ago
- An experimental .NET framework to facilitate using distributed computing patterns within a monolithic application.☆19Oct 19, 2022Updated 3 years ago
- .NET library for rational arithmetic based on a stack machine.☆52Feb 10, 2023Updated 3 years ago