Python Logic

Open-source Python projects categorized as Logic

Top 8 Python Logic Projects

  1. math

    The MATH Dataset (NeurIPS 2021) (by hendrycks)

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. pyreason

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

  4. python-business-logic

    Python package that makes creating complicated business logic easy

  5. knuckledragger

    A Low Barrier Proof Assistant

    Project mention: Who Can Understand the Proof? A Window on Formalized Mathematics | news.ycombinator.com | 2025-01-10

    It's interesting how sometimes it feels like a topic starts showing up really often. It probably isn't a coincidence, since my interest and probably this post's interest is due to Tao's recent equation challenge https://teorth.github.io/equational_theories/ .

    I was surprised and intrigued to find Wolfram's name when I was reading background literature doing this blog post https://www.philipzucker.com/cody_sheffer/ where I translated my friend's Lean proof of the correspondence of shffer stroke to boolean algebra in my python proof assistant knuckledragger https://github.com/philzook58/knuckledragger (an easier result than Wolfram's single axiom one).

    I was also intrigued reading about the equational theorem prover Waldmeister https://www.mpi-inf.mpg.de/departments/automation-of-logic/s... that it may have been acquired by Mathematica? It's hard to know how Mathematica's equational reasoning system is powered behind the scenes.

    Mathematica can really make for some stunning visuals. Quite impressive.

  6. pyreason-gym

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

  7. CRSF-HLA

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

  8. trinary

    Trinary logic in Python

  9. Nutrient

    Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers. Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.

    Nutrient logo
  10. snakelog

    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/

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

Python Logic discussion

Log in or Post with

Python Logic related posts

  • Mandala: A little plaground for testing pixel logic patterns

    2 projects | news.ycombinator.com | 7 Mar 2024
  • The "missing" graph datatype already exists. It was invented in the '70s

    6 projects | news.ycombinator.com | 5 Mar 2024
  • trinary: a Python project for three-valued logic. It introduces Unknown, which you can use with the regular True and False. It's equivalent to K3 logic or using NULL in SQL. I made it over the last few days and have open sourced it on GitHub in case someone needs the same thing. Feedback welcome!

    1 project | /r/Python | 24 Dec 2022
  • Measuring mathematical problem solving with the MATH Dataset

    1 project | /r/u_waynerad | 13 Mar 2021

Index

What are some of the best open-source Logic projects in Python? This list will help you:

# Project Stars
1 math 1,019
2 pyreason 206
3 python-business-logic 81
4 knuckledragger 75
5 pyreason-gym 26
6 CRSF-HLA 21
7 trinary 14
8 snakelog 11

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Python is
the 2nd most popular programming language
based on number of references?