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 2 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 last month
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated last month
- High-performance .NET regex engine with predictable performance☆48Updated last year
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆38Updated 6 months ago
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆29Updated 6 months ago
- Forking Prolog.NET by R. Todd from CodePlex☆30Updated 7 months ago
- Oly Language Compiler and Runtime☆55Updated this week
- Tools for experimenting with union types.☆30Updated 2 months ago
- A terminal abstraction with platform-specific drivers.☆25Updated 2 years ago
- A set of libraries that allow Router-like experiences for general purpose F# Apps☆17Updated this week
- A fluent API for creating MSBuild projects for use by unit tests☆50Updated 4 months ago
- .NET Standard library for parsing and generating Graphviz DOT files.☆22Updated 4 years ago
- Type Safe Text Templates - usable as type provider (F#) or source generator (C#)☆68Updated 6 months ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- Aivika for .NET, simplified version☆10Updated 7 years ago
- Recommended template for new .NET Foundation repos☆47Updated 2 years ago
- Extism .NET Host SDK - easily run WebAssembly modules / plugins from C# and F# applications☆43Updated last month
- Sample how to perform export of F* to F# with Nuget☆8Updated 8 months ago
- C#->F# transpiler.☆62Updated 2 years ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 7 years ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆24Updated 11 months ago
- F# Active pattern library for Roslyn Compiler Platform (C#, VB)☆29Updated 2 years ago
- Library-based implementation of Code Contracts-like API☆33Updated last year
- F# interface for Akka.NET☆36Updated last month
- Rule based performance analysis and monitoring tool for dotnet written in F#.☆13Updated 3 years ago
- ☆11Updated 3 years ago
- Extend your F# apps with F# scripts☆28Updated this week
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- JSON diff tool for .NET☆53Updated last year