Popular GitHub Repositories for Symbolic Logic

Structured Text Generation

Gorgonia is a library that helps facilitate machine learning in Go.

Official PyTorch implementation of PTS/PSRN: Fast and efficient symbolic expression discovery through parallelized tree search. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

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.

High-Performance Symbolic Regression in Python and Julia

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

Genetic Programming in Python, with a scikit-learn inspired API

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

[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

Semantic Reasoning Engine for LLMs · WFGY 推理引擎 / 萬法歸一

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.

[ACL 2023] Reasoning with Language Model Prompting: A Survey

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

?? Synalinks coding assistant

An observability platform for ?? Synalinks

The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected

MIDI / symbolic music tokenizers for Deep Learning models ?

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

A simple library for creating complex neural networks