RDF Data Graphs: Property and Hyper Data Modeling using Microsoft GraphEngine TSL, Computed DSL, LIKQ and APIs

Microsoft/InKnowWorks Graph Engine

OWL API main repository

Guan is a 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.

Generic Graph Data Structures and Algorithms for .NET

Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Xamarin Forms, and Uno / Win UI Applications..

BFO repository including source code and latest documents

The HOL Light theorem prover

The Heterogeneous Tool Set