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:
- Simple tools for working with immutable trees☆59Updated this week
- High-performance .NET regex engine with predictable performance☆48Updated last year
- Forking Prolog.NET by R. Todd from CodePlex☆30Updated 8 months ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆38Updated 2 weeks ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- A Roslyn inspired rewrite of NQuery☆75Updated 9 months ago
- Tools for experimenting with union types.☆30Updated 4 months ago
- A fast and simple .NET parsing library☆81Updated last month
- A lightweight utility library to create a Roslyn AdhocWorkspace from an existing solution or a csproj☆76Updated last year
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆58Updated last year
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- Roslyn extensions, with a touch of meta-programming.☆35Updated 7 years ago
- An MSBuild Task to enable exception line numbers for references in a deployed app☆84Updated this week
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- Library-based implementation of Code Contracts-like API☆34Updated last year
- A PEG parser for C#, using code generators☆34Updated 3 years ago
- A .NET implementation of a parser for the KDL document language.☆32Updated 2 years ago
- A fast and powerful Static Website Engine☆74Updated last year
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- ☆24Updated 4 years ago
- SharpNng is a lightweight low-level managed wrapper around the Lightweight Messaging Library NNG☆46Updated last year
- ☆61Updated 3 months ago
- .NET library to work with Git repositories☆34Updated this week
- Oly Language Compiler and Runtime☆55Updated this week
- A set of source generators for equality, immutability, ...☆91Updated 2 years ago
- Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCol…☆116Updated 2 months ago
- Transducers for .NET☆26Updated 10 years ago
- Actor library for C# with additional modules that support persistence to Redis, as well as JS integration☆124Updated 2 years ago
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆13Updated 4 years ago
- ☆25Updated 2 years ago