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 3 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 this week
- Oly Language Compiler and Runtime☆55Updated this week
- 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
- Scratch pad for various expression tree improvements.☆82Updated 2 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆38Updated 7 months ago
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 2 months ago
- .NET CIL interpreter written in simple subset of F#☆53Updated 2 years ago
- Type Safe Text Templates - usable as type provider (F#) or source generator (C#)☆68Updated 6 months ago
- A compact redis browser for powershell☆16Updated 2 months ago
- JSON diff tool for .NET☆53Updated last year
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆13Updated 4 years ago
- A Roslyn inspired rewrite of NQuery☆74Updated 8 months ago
- Tools for experimenting with union types.☆30Updated 3 months ago
- C#->F# transpiler.☆62Updated 2 years ago
- High-performance .NET regex engine with predictable performance☆48Updated last year
- This repo contains the code for building http://source.dot.net☆51Updated last month
- Parse and evaluate MsBuild project files☆65Updated 3 weeks ago
- Rule based performance analysis and monitoring tool for dotnet written in F#.☆13Updated 3 years ago
- A native implementation of the MicroKanren DSL for .NET☆47Updated 10 years ago
- A PEG parser for C#, using code generators☆34Updated 3 years ago
- A C# parser combinator library☆19Updated 4 years ago
- A terminal abstraction with platform-specific drivers.☆25Updated 3 years ago
- GitHub Actions configuration generator☆45Updated 2 weeks ago
- Mermaid.js fluent api for .NET☆39Updated 3 weeks ago
- Transducers for .NET☆26Updated 10 years ago
- IL Kernel for .NET Interactive☆16Updated 2 years ago
- C# immutable records generator☆73Updated 5 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆51Updated last week
- Collection of tools used when developing for Fantomas☆35Updated 4 months ago