microsoft / Guan
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.
☆75Updated 7 months ago
Alternatives and similar repositories for Guan:
Users that are interested in Guan are comparing it to the libraries listed below
- Simple tools for working with immutable trees☆57Updated last month
- Scratch pad for various expression tree improvements.☆81Updated 2 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated 2 months ago
- IL Kernel for .NET Interactive☆16Updated last year
- High-performance .NET regex engine with predictable performance☆47Updated last year
- Oly Language Compiler and Runtime☆54Updated this week
- SharpNng is a lightweight low-level managed wrapper around the Lightweight Messaging Library NNG☆46Updated last year
- Transducers for .NET☆26Updated 10 years ago
- A fluent API for creating MSBuild projects for use by unit tests☆47Updated last week
- Tools for experimenting with union types.☆27Updated last week
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 7 months ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆50Updated 2 weeks ago
- Microsoft Orleans enhancement for dynamic grain activation balancing across a cluster☆25Updated last year
- A terminal abstraction with platform-specific drivers.☆25Updated 2 years ago
- “To be, or not to be, that is the question”. A simple Option type for .NET☆11Updated 3 years ago
- Model-checker for lock and wait free C# code☆77Updated 6 years ago
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆12Updated 3 years ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆27Updated 2 months ago
- Forking Prolog.NET by R. Todd from CodePlex☆27Updated 3 months ago
- This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.☆14Updated 9 years ago
- ☆61Updated 3 months ago
- A .NET implementation of a parser for the KDL document language.☆29Updated 2 years ago
- A language service for MSBuild files☆24Updated 3 years ago
- ☆54Updated 4 years ago
- ☆43Updated 4 years ago
- ☆24Updated 2 years ago
- Sln parser☆14Updated 4 years ago
- JSON diff tool for .NET☆52Updated last year
- The combined Langly runtime☆33Updated 3 years ago
- An MSBuild Task to enable exception line numbers for references in a deployed app☆78Updated this week