Top 4 Python Abstraction Projects
-
See also https://github.com/unifyai/ivy which I have not tried but seems along the lines of what you are describing, working with all the major frameworks
-
-
InfluxDB
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.
-
Project mention: Declarai - a game-changer for Python-based language model interactions! | /r/OpenAIDev | 2023-08-09
Feel free to take a look at our docs: https://vendi-ai.github.io/declarai/
-
SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.
Python Abstraction related posts
Index
What are some of the best open-source Abstraction projects in Python? This list will help you:
Project | Stars | |
---|---|---|
1 | ivy | 13,980 |
2 | netplan | 574 |
3 | declarai | 80 |
4 | SMPT | 27 |