Top 3 Python symbolic-computation Projects

aesara

1 1,161 7.7 Python

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
kanren

3 157 0.0 Python

An extensible, lightweight relational/logic programming DSL written in pure Python

Project mention: Kanren: An extensible, lightweight relational/logic programming DSL in Python | news.ycombinator.com | 2024-02-03

WorkOS

workos.com featured

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

1 22 7.2 Python

Python package for symbolic quantum computation in Qiskit

Project mention: Check out qiskit-symb: a new Python package for symbolic quantum computation in Qiskit! | /r/u_No_Membership8823 | 2023-06-21

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 symbolic-computation related posts

Kanren: An extensible, lightweight relational/logic programming DSL in Python

1 project | news.ycombinator.com | 3 Feb 2024
When do you use generators?

1 project | /r/Python | 21 Mar 2022
Five-minute Multimethods in Python by Guido van Rossum - March 30, 2005

1 project | /r/Python | 1 Mar 2021