InKnowWorks, CORP

RDF-Graph-and-Hypergraph Public

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

C# 6MIT 0 0 0 Updated Jun 19, 2025

IKW-GraphEngine Public

Microsoft/InKnowWorks Graph Engine

HTML 16 0 2 1 Updated Apr 25, 2025

owlapi Public Forked from owlcs/owlapi

OWL API main repository

Java 0 315 0 1 Updated Oct 3, 2024

Guan Public Forked from microsoft/Guan

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.

C# 1MIT 6 0 1 Updated Jul 9, 2024

QuikGraph Public Forked from KeRNeLith/QuikGraph

Generic Graph Data Structures and Algorithms for .NET

C# 0MS-PL 209 0 0 Updated Mar 8, 2024

Prism-Commercial Public Forked from PrismLibrary/Prism

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

C# 0 1,675 0 0 Updated Feb 14, 2024

BFO Public Forked from BFO-ontology/BFO

BFO repository including source code and latest documents

HTML 0CC-BY-4.0 50 0 0 Updated Jan 30, 2024

hol-light Public Forked from jrh13/hol-light

The HOL Light theorem prover

OCaml 0 101 0 0 Updated Jan 13, 2024

EmbeddedMsalCustomWebUi.Wpf Public Forked from runceel/EmbeddedMsalCustomWebUi.Wpf

C# 0MIT 2 0 1 Updated Jan 9, 2024

Hets Public Forked from spechub/Hets

The Heterogeneous Tool Set

Haskell 0GPL-2.0 22 0 0 Updated Sep 20, 2023

Navigation Menu

Uh oh!

Uh oh!

InKnowWorks, CORP

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Sponsoring

Top languages

Uh oh!

Most used topics

Uh oh!