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.
☆85Updated 10 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.☆41Updated 6 months ago
- Simple tools for working with immutable trees☆60Updated last week
- High-performance .NET regex engine with predictable performance☆49Updated 2 years ago
- Tools for experimenting with union types.☆31Updated 10 months ago
- Forking Prolog.NET by R. Todd from CodePlex☆33Updated last year
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆61Updated last year
- Rule based performance analysis and monitoring tool for dotnet written in F#.☆13Updated 4 years ago
- .NET library to work with Git repositories☆34Updated last week
- A fluent API for creating MSBuild projects for use by unit tests☆52Updated last month
- A .NET implementation of a parser for the KDL document language.☆34Updated 3 years ago
- JSON diff tool for .NET☆55Updated 2 years ago
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆39Updated 5 years ago
- A PEG parser for C#, using code generators☆35Updated 3 years ago
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆77Updated 2 weeks ago
- An MSBuild Task to enable exception line numbers for references in a deployed app☆83Updated last week
- Library-based implementation of Code Contracts-like API☆34Updated 2 years ago
- Scratch pad for various expression tree improvements.☆82Updated 3 years ago
- A series of C# parser construction examples☆38Updated 6 years ago
- SharpNng is a lightweight low-level managed wrapper around the Lightweight Messaging Library NNG☆45Updated 2 years ago
- A set of generators helping dealing with structs in C#☆48Updated 4 years ago
- The Try monad (Error/Exceptional monad) for C#☆60Updated 2 years ago
- EntityFrameworkCore provider for multitier applications.☆12Updated 4 years ago
- A library that automatically adds support for object deconstruction in C#.☆43Updated 4 months ago
- Performace Profiler/Monitor for .net applications☆20Updated 3 years ago
- Internal application architecture via command and event messages☆32Updated last week
- The NuGet search CLI app☆24Updated 5 years ago
- A C# parser combinator library☆19Updated 5 years ago
- A dotnet tool for managing Verify snapshots.☆41Updated 2 months ago
- Vectorized generic dictionary prototype☆26Updated last year