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.
☆84Updated 9 months ago
Alternatives and similar repositories for Guan
Users that are interested in Guan are comparing it to the libraries listed below
Sorting:
- Simple tools for working with immutable trees☆60Updated 3 weeks ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Updated 5 months ago
- High-performance .NET regex engine with predictable performance☆49Updated 2 years ago
- Forking Prolog.NET by R. Todd from CodePlex☆33Updated last year
- A terminal-centric replacement for the .NET console APIs.☆110Updated 3 weeks ago
- A PEG parser for C#, using code generators☆35Updated 3 years ago
- Tools for experimenting with union types.☆30Updated 9 months ago
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- JSON diff tool for .NET☆55Updated 2 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆51Updated 3 weeks ago
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- A library that automatically adds support for object deconstruction in C#.☆43Updated 3 months ago
- A set of generators helping dealing with structs in C#☆48Updated 4 years ago
- A Roslyn inspired rewrite of NQuery☆75Updated last year
- Scratch pad for various expression tree improvements.☆82Updated 3 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆77Updated last year
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆60Updated last year
- .NET Standard library for parsing and generating Graphviz DOT files.☆22Updated 5 years ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated last month
- .NET library for working with Roslyn's syntax trees☆23Updated 2 months ago
- MSBuild is complicated. Let's lift the veil on it.☆135Updated 2 years ago
- Metadata-based part discovery for MEF, uses the Roslyn metadata reader and is faster than reflection.☆18Updated 9 years ago
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆39Updated 5 years ago
- The Try monad (Error/Exceptional monad) for C#☆60Updated 2 years ago
- A utility that creates dot graphs from .NET projects☆40Updated 5 years ago
- ☆61Updated last month
- Sln parser☆14Updated 5 years ago
- This project uses Source Generation to generate an interface and a Proxy class for classes. This makes it possible to wrap external class…☆47Updated 4 months ago
- A low-level library for interacting with PDF files☆94Updated last year
- Transducers for .NET☆26Updated 11 years ago