Repositories list

• owlapi

  Public
  OWL API main repository

  Java

  •315•0•0•1•Updated Oct 3, 2024Oct 3, 2024

• Guan

  Public
  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#

  •

  MIT License

  •7•1•0•1•Updated Jul 9, 2024Jul 9, 2024

• QuikGraph

  Public
  Generic Graph Data Structures and Algorithms for .NET

  C#

  •

  Microsoft Public License

  •199•0•0•0•Updated Mar 8, 2024Mar 8, 2024

• RDF-Graph-and-Hypergraph

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

  C#

  •

  MIT License

  •0•2•0•0•Updated Mar 2, 2024Mar 2, 2024

• IKW-GraphEngine

  Public
  Microsoft/InKnowWorks Graph Engine

  logicontologyknowledge-graph+ 3knowledge-basesemantic-reasoninglogic-solver

  HTML

  •

  Other

  •0•12•2•1•Updated Feb 18, 2024Feb 18, 2024

• Prism-Commercial

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

  C#

  •

  Other

  •1.6k•0•0•0•Updated Feb 14, 2024Feb 14, 2024

• BFO

  Public
  BFO repository including source code and latest documents

  HTML

  •

  Creative Commons Attribution 4.0 International

  •44•0•0•0•Updated Jan 30, 2024Jan 30, 2024

• hol-light

  Public
  The HOL Light theorem prover

  OCaml

  •

  Other

  •78•0•0•0•Updated Jan 13, 2024Jan 13, 2024

• EmbeddedMsalCustomWebUi.Wpf

  Public
  C#

  •

  MIT License

  •2•0•0•1•Updated Jan 9, 2024Jan 9, 2024

• Hets

  Public
  The Heterogeneous Tool Set

  Haskell

  •

  GNU General Public License v2.0

  •19•0•0•0•Updated Sep 20, 2023Sep 20, 2023

• language-ext

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

  C#

  •

  MIT License

  •422•0•0•0•Updated Aug 19, 2023Aug 19, 2023

• RDFSharp

  Public
  Lightweight and friendly .NET library for realizing Semantic Web applications

  C#

  •

  Apache License 2.0

  •26•0•0•0•Updated Aug 4, 2023Aug 4, 2023

• MessagePipe

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

  C#

  •

  MIT License

  •105•0•0•0•Updated Aug 2, 2023Aug 2, 2023

• MessagePack-CSharp

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

  C#

  •

  Other

  •700•0•0•3•Updated Aug 2, 2023Aug 2, 2023

• FStar

  Public
  A Proof-oriented Programming Language

  F*

  •

  Apache License 2.0

  •233•0•0•0•Updated Aug 1, 2023Aug 1, 2023

• RDFSharp.Semantics

  Public
  Lightweight and friendly .NET library for realizing Semantic Web applications

  C#

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 8, 2023Jul 8, 2023

• Prism

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

  C#

  •

  Other

  •1.6k•0•0•0•Updated Jul 6, 2023Jul 6, 2023

• microsoft-authentication-library-for-dotnet

  Public
  Microsoft Authentication Library (MSAL) for .NET

  C#

  •

  MIT License

  •345•0•0•0•Updated Apr 26, 2023Apr 26, 2023

• yawl

  Public
  Yet Another Workflow Language

  Java

  •

  GNU Lesser General Public License v3.0

  •35•0•0•0•Updated Feb 9, 2023Feb 9, 2023

• vs-streamjsonrpc

  Public
  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.

  C#

  •

  Other

  •152•0•0•0•Updated Feb 8, 2023Feb 8, 2023

• ReactiveProperty

  Public
  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.

  C#

  •

  MIT License

  •101•0•0•2•Updated Feb 8, 2023Feb 8, 2023

• Nerdbank.Streams

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

  C#

  •

  MIT License

  •61•0•0•1•Updated Feb 8, 2023Feb 8, 2023

• infer

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

  C#

  •

  MIT License

  •228•0•0•0•Updated Feb 8, 2023Feb 8, 2023

• IAO

  Public
  information artifact ontology

  Common Lisp

  •

  Creative Commons Attribution 4.0 International

  •25•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• Graph-Controls

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

  C#

  •

  Other

  •39•0•0•0•Updated Dec 16, 2022Dec 16, 2022

• Windsor

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

  C#

  •

  Other

  •456•0•0•0•Updated Dec 14, 2022Dec 14, 2022

• GraphEngine

  Public
  Microsoft Graph Engine with many additions and updates

  samplesservicefabricwpf-application+ 2azureadmanaged-identity

  C#

  •

  Other

  •330•2•0•8•Updated Dec 10, 2022Dec 10, 2022

• service-fabric-grpc-playground

  Public
  Playground for gRPC on Service Fabric

  C#

  •

  MIT License

  •3•0•0•1•Updated Dec 10, 2022Dec 10, 2022

• Dryad

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

  C#

  •

  Apache License 2.0

  •55•0•0•12•Updated Dec 10, 2022Dec 10, 2022

• VSSDK-Extensibility-Samples

  Public
  Samples for building your own Visual Studio extensions

  C#

  •

  MIT License

  •453•0•0•0•Updated Dec 8, 2022Dec 8, 2022