Popular GitHub Repositories for Ternary 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.

micronet, a model compression and deploy lib. compression: 1、quantization: quantization-aware-training(QAT), High-Bit(>2b)(DoReFa/Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference)、Low-Bit(≤2b)/Ternary and Binary(TWN/BNN/XNOR-Net); post-training-quantization(PTQ), 8-bit(tensorrt); 2、 pruning: normal、regular and group convolutional channel pruning; 3、 group convolution structure; 4、batch-normalization fuse for quantization. deploy: tensorrt, fp32/fp16/int8(ptq-calibration)、op-adapt(upsample)、dynamic_shape

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

Tego is a pluggable application framework., where developers can build complex application logic, while core developers focus on ensuring the stability of key modules and adapting to different environments.

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

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

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B

OpenNARS for Research 3.0+

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

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)

WebPlugins is a modular and pluggable application framework based on ASP.NET Core and VUE. By completely decoupling core logic from functional components, it enables secondary development.

Ternary Gradients to Reduce Communication in Distributed Deep Learning (TensorFlow)