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 last month
Alternatives and similar repositories for Guan:
Users that are interested in Guan are comparing it to the libraries listed below
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- Simple tools for working with immutable trees☆58Updated 2 weeks ago
- 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 5 months ago
- Hash Array Mapped Trie implementation for .NET☆24Updated 6 years ago
- F# Active pattern library for Roslyn Compiler Platform (C#, VB)☆29Updated 2 years ago
- A helper library to easily add F# scripts to your application.☆30Updated 6 years ago
- Forking Prolog.NET by R. Todd from CodePlex☆30Updated 5 months ago
- GitHub Actions configuration generator☆46Updated 5 months ago
- A terminal abstraction with platform-specific drivers.☆25Updated 2 years ago
- A .NET library to read and display keyboard input.☆30Updated 2 months ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆66Updated last year
- Tools for experimenting with union types.☆27Updated last month
- A compact redis browser for powershell☆16Updated 3 weeks ago
- A library design for programming with effects and handlers in C#☆145Updated 7 months ago
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated this week
- Library-based implementation of Code Contracts-like API☆33Updated last year
- Oly Language Compiler and Runtime☆54Updated 2 weeks ago
- Merge two nuget packages☆8Updated 5 years ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated 4 months ago
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- JSON diff tool for .NET☆53Updated last year
- Type Safe Text Templates - usable as type provider (F#) or source generator (C#)☆66Updated 4 months ago
- XUnit-like asserts for text strings with JSON content.☆40Updated last year
- ☆61Updated 3 weeks ago
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- F# interface for Akka.NET☆36Updated 2 weeks ago
- Transducers for .NET☆26Updated 10 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆38Updated 6 years ago
- Ferop is a .NET library that allows inline C/C++ to compile and run on Windows/Linux/OSX. (beta, not production ready)☆35Updated 5 years ago