Top 7 Python Logic Projects

math

1 694 0.0 Python

The MATH Dataset (NeurIPS 2021) (by hendrycks)
pyreason

1 154 8.3 Python

An explainable inference software supporting annotated, real valued, graph based and temporal logic
InfluxDB

www.influxdata.com
sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
python-business-logic

1 79 0.0 Python

Python package that makes creating complicated business logic easy
pyreason-gym

1 18 7.7 Python

An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting

Project mention: Supercharging reinforcement learning with logic | /r/deeplearning | 2023-10-16

Code for PyReason Gym: https://github.com/lab-v2/pyreason-gym
CRSF-HLA

1 17 0.0 Python

Saleae Logic 2 High Level Analyzer: Crossfire decoder for R/C protocol as used by TBS Crossfire, Tracer or ExpressLRS
trinary

3 14 1.4 Python

Trinary logic in Python
snakelog

2 9 0.0 Python

A Datalog Framework for Python

Project mention: The "missing" graph datatype already exists. It was invented in the '70s | news.ycombinator.com | 2024-03-05

You can without too much work transpile datalog to SQL. SQL does have such strong support that it is useful https://github.com/philzook58/snakelog or perhaps just do it manually https://www.philipzucker.com/tiny-sqlite-datalog/
WorkOS

workos.com
sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2024-03-05.