Highlights
- Pro
Stars
Automatically exported from code.google.com/p/factplusplus
A Hets development environment based on Visual Studio Code.
High performance observable collections and synchronized views, for WPF, Blazor, Unity.
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Provides an efficient allocation free async/await integration for Unity.
Enums.NET is a high-performance type-safe .NET enum utility library
Develop Desktop, Embedded, Mobile and WebAssembly apps with C# and XAML. The most popular .NET UI client technology
C# functional language extensions - a base class library for functional programming
A modern Prolog implementation written mostly in Rust.
Lightweight and friendly .NET library for realizing Semantic Web applications
Integrate cutting-edge LLM technology quickly and easily into your apps
Collection of controls for WinUI 2, WinUI 3, and Uno Platform developers. Simplifies and demonstrates common developer tasks building experiences for Windows with .NET.
Microsoft Authentication Library (MSAL) for .NET
RocketUrBiz / infer
Forked from dotnet/inferInfer.NET is a framework for running Bayesian inference in graphical models
Bicep is a declarative language for describing and deploying Azure resources
Samples for building your own Visual Studio extensions
information artifact ontology
A simple, fluent, extensible, and fully customizable library for throwing exceptions for projects using .NET 6+
High performance in-memory/distributed messaging pipeline for .NET and Unity.
Set of Helpers and Controls for Windows development using the Microsoft Graph.
Unified Realtime/API framework for .NET platform and Unity.