Zen is a constraint solving library for .NET
☆150Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A performant and ergonomic implementation of binary decision diagrams for .NET☆60Aug 30, 2023Updated 3 years ago
- A tool for finding configuration anomalies.☆14Jul 31, 2024Updated 2 years ago
- A Framework for Modeling and Analyzing Network Configurations☆37Feb 20, 2023Updated 3 years ago
- This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)☆55Feb 23, 2026Updated 8 months ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- ☆15Aug 31, 2026Updated last month
- Post-build IL optimizer and intermediate representation for .NET programs☆156Jan 25, 2025Updated last year
- The SNAPdb Engine is a high-performance key/value pair archiving technology.☆15Updated this week
- The most portable alternative to Microsoft.Build for evaluating, manipulating, and other progressive data processing in a compatible XML-…☆18Feb 22, 2024Updated 2 years ago
- A search engine, local to your machine, focused on source (or textual information) code.☆24Sep 28, 2026Updated last month
- Binary object notation - a standard for representing JSON in a compact, efficient format☆17Jun 12, 2023Updated 3 years ago
- Small C# caching and cache-filling library, intended as a replacement for memcached in many cases.☆16Aug 14, 2026Updated 2 months ago
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆90Mar 14, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple Archive Format - A minimal, stream-friendly format for file/object archiving.☆48Jul 9, 2024Updated 2 years ago
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- C# examples using WebGPU and NativeAOT☆49Jan 27, 2023Updated 3 years ago
- A sample project for writing and executing assembly in C#.☆31Nov 23, 2021Updated 4 years ago
- Object Analysis Toolkit is a C# library for analyzing objects using Rules.☆101Aug 13, 2026Updated 2 months ago
- NxGraph is a zero-allocation runtime, high-performance finite state machine (FSM) framework for .NET 8+, designed for scenarios where exe…☆105Aug 15, 2026Updated 2 months ago
- Information Flow Analysis for C#. Understand What Your Code Really Does☆43Nov 11, 2025Updated 11 months ago
- Bringing the power of hierarchical state machines to a .NET Core runtime near you.☆10Feb 8, 2021Updated 5 years ago
- This XenoAtom.Interop project provides a set of C# libraries to interop with C/C++ libraries (musl, libgit2, sqlite, vulkan...)☆70Jun 20, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Practical generic programming for .NET☆289Oct 21, 2026Updated last week
- Playground for code optimization using strands agents☆11Jan 3, 2026Updated 9 months ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆18May 29, 2024Updated 2 years ago
- Get started with Coyote with these simple introductory sample projects.☆53Mar 17, 2022Updated 4 years ago
- A GUI for centralizing .NET appsettings.json management. Provides a unified view to edit, validate, and apply changes across multiple pro…☆23Sep 28, 2026Updated last month
- Petr4: Formal Semantics for P4☆83Jun 18, 2025Updated last year
- .NET implementation of modified QuadTree, perform faster range searches from very large number of multi-dimensional coordinates in the po…☆40Jul 14, 2024Updated 2 years ago
- Varena is a .NET library that provides a fast and lightweight arena allocator using virtual memory.☆193Mar 17, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A .NET library to parse XML at lightspeed with zero allocation.☆144Jul 13, 2026Updated 3 months ago
- Source browser website generator that powers http://referencesource.microsoft.com and http://sourceroslyn.io☆10Sep 7, 2026Updated last month
- This library provides struct based collections for high performance and low memory usage☆37Oct 27, 2024Updated 2 years ago
- Zero allocation valuetype based fixed string implementation (8/16/32/64) for .NET 7+☆94Mar 17, 2024Updated 2 years ago
- A sample Windows Forms .NET app that hosts the real and only Windows Sandbox:☆20Jan 4, 2026Updated 9 months ago
- This project aims to rename all C# intrinsic names to their more compact C/C++ counterparts that the industry uses.☆50Nov 25, 2020Updated 5 years ago
- A C# source generator that provides strongly-typed, compile-time access to project files marked with CopyToOutputDirectory in the .csproj…☆60Oct 14, 2026Updated 2 weeks ago