Denotational Differentiation Solver
-
Updated
May 31, 2024 - Python
Denotational Differentiation Solver
Library for FP sugar
An implementation of Lisp/Scheme-like cons in Python
FGroupPy is a software tool that allows you to perform various operations and analyses on mathematical groups. It provides a Python class called Group that represents a group and offers a set of methods to work with groups, including checking group properties, finding subgroups, generating multiplication tables, identifying normal subgroups, etc.
Trying to solve algebraic expressions in Python.
Algebraic data types for Python (experimental, not actively maintained)
Implementation of Alegbraic Data Types (ADTs) in Python
A fragmentary bidirectional type system as a Python library
Interval arithmetic for Python using algebraic data types
Universal (cross-language) extensible representation for algebraic data type instances.
pyddlib is a Python3 library for manipulating decision diagrams.
Add a description, image, and links to the algebraic-data-types topic page so that developers can more easily learn about it.
To associate your repository with the algebraic-data-types topic, visit your repo's landing page and select "manage topics."