Top 4 Python Abstraction Projects

ivy

17 14,028 10.0 Python

The Unified AI Framework

Project mention: Keras 3.0 | news.ycombinator.com | 2023-11-28

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

netplan

33 643 9.4 Python

Declarative network configuration for various backends

Project mention: DNS到底怎么运作的 | dev.to | 2024-05-29

Scout Monitoring

www.scoutapm.com featured

Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
declarai

6 81 8.9 Python

A Pythonic integration for LLMs.

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

1 27 6.4 Python

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Project mention: Petri Net for tokio ? | /r/rust | 2023-09-05

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.

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 Abstraction related posts

Declarai - a game-changer for Python-based language model interactions!

2 projects | /r/OpenAIDev | 9 Aug 2023
Declarai – a game-changer for Python-based language model interactions

3 projects | news.ycombinator.com | 8 Aug 2023