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.
☆83Updated 6 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 this week
- Forking Prolog.NET by R. Todd from CodePlex☆33Updated 11 months ago
- High-performance .NET regex engine with predictable performance☆48Updated 2 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆39Updated 2 months ago
- Tools for experimenting with union types.☆30Updated 6 months ago
- A .NET implementation of a parser for the KDL document language.☆32Updated 2 years ago
- .NET library to work with Git repositories☆34Updated this week
- Scratch pad for various expression tree improvements.☆83Updated 3 years ago
- Create zero allocation capturing struct lambdas!☆11Updated last year
- A Roslyn inspired rewrite of NQuery☆75Updated last year
- JSON diff tool for .NET☆54Updated 2 years ago
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- The Loyc Core Libraries. Loyc.Essentials fills in gaps in the .NET Base Class Library; Loyc.Collections adds sophisticated data structure…☆47Updated 3 years ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated 10 months ago
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆59Updated last year
- .NET Standard library for parsing and generating Graphviz DOT files.☆22Updated 5 years ago
- A PEG parser for C#, using code generators☆34Updated 3 years ago
- Some wrappers and API and methods for fast and convenient declarative coding in C#☆48Updated 3 years ago
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- High-performance zero-reflection approach to C# metaprogramming☆31Updated last year
- Reactive Extensions + Immutable Collections = Reactive Collections !☆20Updated 4 years ago
- SharpNng is a lightweight low-level managed wrapper around the Lightweight Messaging Library NNG☆46Updated 2 years ago
- A fast and simple .NET parsing library☆86Updated 4 months ago
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆38Updated 4 years ago
- A utility that creates dot graphs from .NET projects☆40Updated 5 years ago
- Rule based performance analysis and monitoring tool for dotnet written in F#.☆13Updated 3 years ago
- Library-based implementation of Code Contracts-like API☆34Updated 2 years ago
- Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCol…☆117Updated 4 months ago
- .NET library for working with Roslyn's syntax trees☆23Updated last week