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 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.☆38Updated 5 months ago
- Forking Prolog.NET by R. Todd from CodePlex☆30Updated 6 months ago
- Simple tools for working with immutable trees☆58Updated last week
- ☆23Updated 4 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆51Updated this week
- Hash Array Mapped Trie implementation for .NET☆24Updated 6 years ago
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- Oly Language Compiler and Runtime☆54Updated last week
- High-performance .NET regex engine with predictable performance☆48Updated last year
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 3 weeks ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 7 years ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated 5 months ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- Transducers for .NET☆26Updated 10 years ago
- Tools for experimenting with union types.☆28Updated 2 months ago
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆12Updated 3 years ago
- Extism .NET Host SDK - easily run WebAssembly modules / plugins from C# and F# applications☆43Updated last week
- C#->F# transpiler.☆62Updated 2 years ago
- A .NET implementation of a parser for the KDL document language.☆31Updated 2 years ago
- A terminal abstraction with platform-specific drivers.☆25Updated 2 years ago
- ☆24Updated 2 years ago
- A set of generators helping dealing with structs in C#☆47Updated 4 years ago
- An MSBuild Task to enable exception line numbers for references in a deployed app☆83Updated this week
- Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCol…☆116Updated 2 years ago
- LALR parser combinators for C# and F#.☆99Updated 2 weeks ago
- Type Safe Text Templates - usable as type provider (F#) or source generator (C#)☆68Updated 5 months ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- A C# parser combinator library☆19Updated 4 years ago
- Microsoft/InKnowWorks Graph Engine☆15Updated 3 weeks ago