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.
☆77Updated 2 weeks 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☆58Updated last week
- Tools for experimenting with union types.☆27Updated last week
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆12Updated 3 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆37Updated 4 months ago
- ☆60Updated last week
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated last week
- Oly Language Compiler and Runtime☆54Updated this week
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- Forking Prolog.NET by R. Todd from CodePlex☆29Updated 4 months ago
- Sln parser☆14Updated 4 years ago
- High-performance .NET regex engine with predictable performance☆48Updated last year
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- LALR parser combinators for C# and F#.☆99Updated this week
- .NET Standard library for parsing and generating Graphviz DOT files.☆22Updated 4 years ago
- A library design for programming with effects and handlers in C#☆143Updated 6 months ago
- A runtime assembly management library☆75Updated 3 years ago
- A compact redis browser for powershell☆15Updated last year
- Git-based incremental build and testing platform for .NET and .NET Core.☆73Updated 2 weeks ago
- A library that queries Roslyn's C# syntax tree with CSS selector-like syntax.☆30Updated 4 years ago
- Transducers for .NET☆26Updated 10 years ago
- .NET CIL interpreter written in simple subset of F#☆53Updated last year
- An MSBuild Task to enable exception line numbers for references in a deployed app☆78Updated this week
- A fast and simple .NET parsing library☆75Updated 3 months ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated 3 months ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 6 years ago
- A .NET implementation of a parser for the KDL document language.☆29Updated 2 years ago
- Microsoft/InKnowWorks Graph Engine☆14Updated last year
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆51Updated 5 months ago
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- The combined Langly runtime☆33Updated 3 years ago