Simple first-order logic implementation for .NET.

Mokka is a minimal Inference Engine for Dense Layer Neural Networks. Written on a single C# header, it uses AVX2

.NET native and Vulkan inference engine

This is an open source project for building Rule/Policy Inference Engine written in C#

A pure C# LLM inference engine built from scratch — no Python, no llama.cpp bindings, no ONNX Runtime. SharpInfer loads GGUF and Safetensors models directly, dequantizes weights in managed code, and runs the full transformer forward pass natively on .NET 8.

Fuzzy Sharper is a C# library that allows you to create your own Fuzzy Expert System

Here is a package of an Inference Engine, fully made in C# by myself... You can install it for free following the provided ReadMe documentation. Try it out and don't hesitate to write issues and contribute

Very simple propositional logic knowledge base implementations. Includes language integration features.

gemma-2-2b-it int8 cpu inference in one file of pure C#

This inference engine utilizes both forward and backward chaining, along with truth tables, to systematically derive logical conclusions about the knowledge base.

A simple inference engine using SPARQL to materialise inferences for RDFS and OWL2

Motor de inferencia hecho en SQL Server con capa de exposición en C# y un sitio de generación y consumo de reglas de ejemplo.

A command-line inference engine for propositional logic. It parses TELL/ASK inputs, supports Horn and general propositional KBs, and runs multiple reasoning strategies: Truth Table, Forward/Backward Chaining, and Resolution (via CNF conversion)

Inference Engine program as part of COS30019 - Introduction to Artificial Intelligence

Medialogy 3rd Semester project at Aalborg University in Copenhagen fall 2025