Pinned Repositories
Graph-Controls
Set of Helpers and Controls for Windows development using the Microsoft Graph.
GraphEngine
Microsoft Graph Engine with many additions and updates
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.
hsdatalog
BDD-based implementation of Datalog
IKW-GraphEngine
Microsoft/InKnowWorks Graph Engine
ikw-Stylus
MessagePipe
High performance in-memory/distributed messaging pipeline for .NET and Unity.
RDF-Graph-and-Hypergraph
RDF Data Graphs: Property and Hyper Data Modeling using Microsoft GraphEngine TSL, Computed DSL, LIKQ and APIs
sharpalog
Datalog engine for C# started as a Sharpen port of Jatalog
Stylus
InKnowWorks, CORP's Repositories
InKnowWorks/IKW-GraphEngine
Microsoft/InKnowWorks Graph Engine
InKnowWorks/RDF-Graph-and-Hypergraph
RDF Data Graphs: Property and Hyper Data Modeling using Microsoft GraphEngine TSL, Computed DSL, LIKQ and APIs
InKnowWorks/GraphEngine
Microsoft Graph Engine with many additions and updates
InKnowWorks/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.
InKnowWorks/Graph-Controls
Set of Helpers and Controls for Windows development using the Microsoft Graph.
InKnowWorks/MessagePipe
High performance in-memory/distributed messaging pipeline for .NET and Unity.
InKnowWorks/service-fabric-grpc-playground
Playground for gRPC on Service Fabric
InKnowWorks/BFO
BFO repository including source code and latest documents
InKnowWorks/Dryad
This is a research prototype of the Dryad and DryadLINQ data-parallel processing frameworks running on Hadoop YARN.
InKnowWorks/EmbeddedMsalCustomWebUi.Wpf
InKnowWorks/FStar
A Proof-oriented Programming Language
InKnowWorks/Hets
The Heterogeneous Tool Set
InKnowWorks/hol-light
The HOL Light theorem prover
InKnowWorks/IAO
information artifact ontology
InKnowWorks/infer
Infer.NET is a framework for running Bayesian inference in graphical models
InKnowWorks/language-ext
C# functional language extensions - a base class library for functional programming
InKnowWorks/MessagePack-CSharp
Extremely Fast MessagePack Serializer for C#(.NET, .NET Core, Unity, Xamarin). / msgpack.org[C#]
InKnowWorks/microsoft-authentication-library-for-dotnet
Microsoft Authentication Library (MSAL) for .NET
InKnowWorks/Nerdbank.Streams
Specialized .NET Streams and pipes for full duplex in-proc communication, web sockets, and multiplexing
InKnowWorks/owlapi
OWL API main repository
InKnowWorks/Prism
Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Windows 10 UWP, and Xamarin Forms.
InKnowWorks/Prism-Commercial
Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Xamarin Forms, and Uno / Win UI Applications..
InKnowWorks/QuikGraph
Generic Graph Data Structures and Algorithms for .NET
InKnowWorks/RDFSharp
Lightweight and friendly .NET library for realizing Semantic Web applications
InKnowWorks/RDFSharp.Semantics
Lightweight and friendly .NET library for realizing Semantic Web applications
InKnowWorks/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.
InKnowWorks/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.
InKnowWorks/VSSDK-Extensibility-Samples
Samples for building your own Visual Studio extensions
InKnowWorks/Windsor
Castle Windsor is a best of breed, mature Inversion of Control container available for .NET
InKnowWorks/yawl
Yet Another Workflow Language