microsoft / GuanLinks
Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
☆80Updated 4 months ago
Alternatives and similar repositories for Guan
Users that are interested in Guan are comparing it to the libraries listed below
Sorting:
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆39Updated 2 weeks ago
- Simple tools for working with immutable trees☆59Updated 3 weeks ago
- High-performance .NET regex engine with predictable performance☆48Updated last year
- A Roslyn inspired rewrite of NQuery☆75Updated 10 months ago
- A PEG parser for C#, using code generators☆34Updated 3 years ago
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- Library-based implementation of Code Contracts-like API☆34Updated last year
- A .NET implementation of a parser for the KDL document language.☆32Updated 2 years ago
- Tools for experimenting with union types.☆30Updated 4 months ago
- A fluent API for creating MSBuild projects for use by unit tests☆50Updated last month
- ☆61Updated 4 months ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 4 years ago
- JSON diff tool for .NET☆53Updated 2 years ago
- .NET library for working with Roslyn's syntax trees☆23Updated 2 weeks ago
- A fast and simple .NET parsing library☆83Updated 2 months ago
- .NET library to work with Git repositories☆34Updated 3 weeks ago
- Lightweight Git local repository traversal library for .NET/.NET Core/.NET Framework.☆98Updated last month
- Clean-code Roslyn-based analyzer for C# 6☆23Updated 8 years ago
- An MSBuild Task to enable exception line numbers for references in a deployed app☆84Updated this week
- The Try monad (Error/Exceptional monad) for C#☆60Updated last year
- A library that automatically adds support for object deconstruction in C#.☆41Updated this week
- ☆11Updated last year
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆38Updated 4 years ago
- ☆16Updated last year
- File and Folder selector for Spectre.Console☆47Updated 2 years ago
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- High-performance zero-reflection approach to C# metaprogramming☆31Updated 10 months ago
- 🧵 Expressive aliases to ConfigureAwait(true) and ConfigureAwait(false)☆77Updated 2 years ago