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.
☆72Updated 2 months ago
Related projects: ⓘ
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆36Updated last week
- Simple tools for working with immutable trees☆55Updated last week
- Oly Language Compiler and Runtime☆48Updated this week
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 3 months ago
- Practical generic programming for C#☆84Updated last week
- Visual Studio extension for rich inlined comments using MarkDown☆36Updated 8 years ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- Merge two nuget packages☆8Updated 4 years ago
- IL Kernel for .NET Interactive☆16Updated last year
- Strongly Typed State Machine DSL/Compiler for Orleans Actors☆25Updated 7 years ago
- F# Active pattern library for Roslyn Compiler Platform (C#, VB)☆29Updated last year
- JSON diff tool for .NET☆45Updated last year
- C# KQL query engine with flexible I/O layers and visualization☆31Updated last week
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆15Updated 2 years ago
- .NET CIL interpreter written in simple subset of F#☆52Updated last year
- This repo contains the code for building http://source.dot.net☆51Updated last month
- A simple content-addressable storage system for .NET 4.5 and .NET Core☆56Updated 7 months ago
- Playground for Dictionary performance improvements☆26Updated last year
- Dependency free reactive abstraction for `System.Diagnostics.Process`, exposes handy static one-liner methods for the one offs☆27Updated 8 months ago
- A language service for MSBuild files☆24Updated 3 years ago
- Distributed storage and processing of objects in Orleans☆26Updated 8 years ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 6 years ago
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆49Updated 3 months ago
- QuickInject is a simple dependency injection container for .NET Core☆46Updated last year
- Hash Array Mapped Trie implementation for .NET☆24Updated 6 years ago
- A C# parser combinator library☆19Updated 3 years ago
- Transducers for .NET☆26Updated 9 years ago
- Rule based performance analysis and monitoring tool for dotnet written in F#.☆13Updated 2 years ago
- A replacement for System.Linq (Cistern.Linq - it's part of the plumbing!)☆37Updated 4 years ago
- The Elm Architecture for building .NET UI applications: WPF and more☆13Updated 4 years ago