InKnowWorks, CORP (InKnowWorks)

InKnowWorks, CORP

InKnowWorks

Geek Repo

Ontology-driven Software Development Tools

Location:Silicon Valley

Home Page:http://www.inknowworks.com

Github PK Tool:Github PK Tool

InKnowWorks, CORP's repositories

IKW-GraphEngine

Microsoft/InKnowWorks Graph Engine

Language:HTMLLicense:NOASSERTIONStargazers:12Issues:5Issues:4

GraphEngine

Microsoft Graph Engine with many additions and updates

Language:C#License:NOASSERTIONStargazers:2Issues:2Issues:0

RDF-Graph-and-Hypergraph

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

Language:C#License:MITStargazers:2Issues:2Issues:0

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.

Language:C#License:MITStargazers:1Issues:1Issues:0

Graph-Controls

Set of Helpers and Controls for Windows development using the Microsoft Graph.

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

MessagePipe

High performance in-memory/distributed messaging pipeline for .NET and Unity.

Language:C#License:MITStargazers:0Issues:0Issues:0

service-fabric-grpc-playground

Playground for gRPC on Service Fabric

Language:C#License:MITStargazers:0Issues:1Issues:0

BFO

BFO repository including source code and latest documents

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

Dryad

This is a research prototype of the Dryad and DryadLINQ data-parallel processing frameworks running on Hadoop YARN.

Language:C#License:Apache-2.0Stargazers:0Issues:1Issues:0
License:MITStargazers:0Issues:0Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:0Issues:0Issues:0

Hets

The Heterogeneous Tool Set

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

hol-light

The HOL Light theorem prover

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

IAO

information artifact ontology

Language:Common LispLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

infer

Infer.NET is a framework for running Bayesian inference in graphical models

Language:C#License:MITStargazers:0Issues:1Issues:0

language-ext

C# functional language extensions - a base class library for functional programming

Language:C#License:MITStargazers:0Issues:0Issues:0

MessagePack-CSharp

Extremely Fast MessagePack Serializer for C#(.NET, .NET Core, Unity, Xamarin). / msgpack.org[C#]

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

microsoft-authentication-library-for-dotnet

Microsoft Authentication Library (MSAL) for .NET

Language:C#License:MITStargazers:0Issues:0Issues:0

Nerdbank.Streams

Specialized .NET Streams and pipes for full duplex in-proc communication, web sockets, and multiplexing

Language:C#License:MITStargazers:0Issues:1Issues:0

owlapi

OWL API main repository

Language:JavaStargazers:0Issues:1Issues:0

Prism

Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Windows 10 UWP, and Xamarin Forms.

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

Prism-Commercial

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

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

QuikGraph

Generic Graph Data Structures and Algorithms for .NET

Language:C#License:MS-PLStargazers:0Issues:0Issues:0

RDFSharp

Lightweight and friendly .NET library for realizing Semantic Web applications

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

RDFSharp.Semantics

Lightweight and friendly .NET library for realizing Semantic Web applications

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

ReactiveProperty

ReactiveProperty provides MVVM and asynchronous support features under Reactive Extensions. Target framework is .NET 4.5, .NET 4.6, UWP, Xamarin.iOS, Xamarin.Android and .NET Standard 1.3.

Language:C#License:MITStargazers:0Issues:0Issues:0

vs-streamjsonrpc

The StreamJsonRpc library offers JSON-RPC 2.0 over any .NET Stream, WebSocket, or Pipe. With bonus support for request cancellation, client proxy generation, and more.

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

VSSDK-Extensibility-Samples

Samples for building your own Visual Studio extensions

Language:C#License:MITStargazers:0Issues:0Issues:0

Windsor

Castle Windsor is a best of breed, mature Inversion of Control container available for .NET

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

yawl

Yet Another Workflow Language

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0