inknowworks Goto Github PK

abcdatalog

Datalog that's as easy as ABC.

azure-quickstart-templates

Azure Quickstart Templates

bddsharp

BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).

bfo

BFO repository including source code and latest documents

bfo2

BFO 2 classes with relations commonly used by OBO Foundry ontologies defined in RO core

c-sharp-algorithms

:books: :chart_with_upwards_trend: Plug-and-play class-library project of standard Data Structures and Algorithms in C#

convnetsharp

Deep Learning in C#

decisiondiagrams

A performant and ergonomic implementation of binary decision diagrams for .NET

dryad

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

durabletask

Durable Task Framework allows users to write long running persistent workflows in C# using the async/await capabilities.

embeddedmsalcustomwebui.wpf

ews-managed-api

ewseditor

EWSEditor is a large sample which shows how Exchange Web Services (EWS) calls can be done in code.

first_order_logic_prover

fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

fstar

A Proof-oriented Programming Language

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.

hermit-reasoner

hets

The Heterogeneous Tool Set

hol-light

The HOL Light theorem prover

hsdatalog

BDD-based implementation of Datalog

iao

information artifact ontology

ikw-graphengine

Microsoft/InKnowWorks Graph Engine

ikw-stylus

ikw.trinity.client.testserver

Graph Engine TripleStore Demo

immutableobjectgraph

Code generation for immutable types

infer

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

language-ext

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