Popular GitHub Repositories for Formal Logic

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

OpenSPG is a Knowledge Graph Engine developed by Ant Group in collaboration with OpenKG, based on the SPG (Semantic-enhanced Programmable Graph) framework. Core Capabilities: 1) domain model constrained knowledge modeling, 2) facts and logic fused representation, 3) natively support KAG...

[GenAI Application Development Framework] ? Build GenAI application quick and easy ? Easy to interact with GenAI agent in code using structure data and chained-calls syntax ? Use Agently Workflow to manage complex GenAI working logic ? Switch to any model without rewrite application code

Distributed Java game server, including cluster management server, gateway server, hall server, game logic server, background monitoring server and a running web version of fishing. State machine, behavior tree, A* pathfinding, navigation mesh and other AI tools

LLMs as Copilots for Theorem Proving in Lean

The OpenCog (hyper-)graph database and graph rewriting system

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic ????

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

OpenNARS for Research 3.0+

Information extraction from English and German texts based on predicate logic

Custom GPT Showcase, featuring advanced workflows and operational logic.

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

Deep Learning and Logical Reasoning from Data and Knowledge

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Implementation for the Neural Logic Machines (NLM).

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)

GPT-3 Chatbot with Long and Short Term Memory and advanced logic built in javascript with openai API - short and long memory, KYC, embeddings, openai, database, flexible, gpt-3.5-turbo, react

PyTorch Explain: Interpretable Deep Learning in Python.