PythonHub

Knuckledragger: Experimenting with a Python Proof Assistant

Something that I’m tinkering with is making a proof assistant in python.

https://www.philipzucker.com/python-itp/

Hey There Buddo!

Knuckledragger: Experimenting with a Python Proof Assistant

Something that I’m tinkering with is making a proof assistant in python.

192 views18:15

PythonHub

microsoft / promptbase

All things prompt engineering

https://github.com/microsoft/promptbase

GitHub

GitHub - microsoft/promptbase: All things prompt engineering

All things prompt engineering. Contribute to microsoft/promptbase development by creating an account on GitHub.

205 views22:15

PythonHub

van-gonography

Hide any type of files inside a image of your choice.

https://github.com/JoshuaKasa/van-gonography

GitHub

GitHub - JoshuaKasa/van-gonography: Hide 🕵️‍♂️ your files of any type inside a image of your choice using steganography

Hide 🕵️‍♂️ your files of any type inside a image of your choice using steganography - GitHub - JoshuaKasa/van-gonography: Hide 🕵️‍♂️ your files of any type inside a image of your choice using ste...

201 views02:15

PythonHub

Why is python generally not recommended for building Android apps?

https://www.reddit.com/r/learnpython/comments/195p2dr/why_is_python_generally_not_recommended_for/

From the learnpython community on Reddit

Explore this post and more from the learnpython community

207 views06:15

PythonHub

Anyone have examples of a Python visualisation package used to produce journalist-quality charts/infographics?

https://www.reddit.com/r/Python/comments/193y9wj/anyone_have_examples_of_a_python_visualisation/

From the Python community on Reddit

Explore this post and more from the Python community

210 views10:15

PythonHub

guoqincode / Open-AnimateAnyone

Unofficial Implementation of Animate Anyone

https://github.com/guoqincode/Open-AnimateAnyone

GitHub

GitHub - guoqincode/Open-AnimateAnyone: Unofficial Implementation of Animate Anyone

Unofficial Implementation of Animate Anyone. Contribute to guoqincode/Open-AnimateAnyone development by creating an account on GitHub.

227 views16:15

PythonHub

langgraph

Building language agents as graphs.

https://github.com/langchain-ai/langgraph

GitHub

GitHub - langchain-ai/langgraph: Build resilient language agents as graphs.

Build resilient language agents as graphs. Contribute to langchain-ai/langgraph development by creating an account on GitHub.

220 views22:15

PythonHub

skfolio

Python library for portfolio optimization built on top of scikit-learn.

https://github.com/skfolio/skfolio

GitHub

GitHub - skfolio/skfolio: Python library for portfolio optimization built on top of scikit-learn

Python library for portfolio optimization built on top of scikit-learn - skfolio/skfolio

227 views04:15

PythonHub

crewAI

Cutting-edge framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

https://github.com/joaomdmoura/crewAI

GitHub

GitHub - crewAIInc/crewAI: Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence…

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks. - crewAIInc/crewAI

214 views10:15

PythonHub

Python 3.13 Gets a JIT

https://tonybaloney.github.io/posts/python-gets-a-jit.html

tonybaloney.github.io

Python 3.13 gets a JIT

Reviewing the JIT in Python 3.13

193 views16:15

PythonHub

Marimo – an open-source reactive notebook for Python

https://github.com/marimo-team/marimo

GitHub

GitHub - marimo-team/marimo: A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script…

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor. - marimo-team/marimo

209 views22:15

PythonHub

Harlequin

The SQL IDE for Your Terminal.

https://github.com/tconbeer/harlequin

GitHub

GitHub - tconbeer/harlequin: The SQL IDE for Your Terminal.

The SQL IDE for Your Terminal. Contribute to tconbeer/harlequin development by creating an account on GitHub.

229 views04:15

PythonHub

Best practices to protect your Flask applications

Learn to secure your Flask applications effectively with our expert hands-on tutorial. Enhance security for your projects in just a few steps!

https://escape.tech/blog/best-practices-protect-flask-applications/

Escape DAST - Application Security Blog

How to protect your Flask applications

Learn how to secure your Flask applications effectively with our hands-on tutorial.

226 views10:15

PythonHub

Spot the bug in this Python code (2023)

https://dwrodri.gitlab.io/can-you-spot-the-bug-in-this-python-code/

dwrodri.gitlab.io

Can you spot the bug in this Python code?

Derek's Personal Portfolio/Blog

214 views16:15

PythonHub

selfextend

An implementation of Self-Extend, to expand the context window via grouped attention

https://github.com/sdan/selfextend

GitHub

GitHub - sdan/selfextend: an implementation of Self-Extend, to expand the context window via grouped attention

an implementation of Self-Extend, to expand the context window via grouped attention - sdan/selfextend

252 views22:15

PythonHub

Python Hub Weekly Digest for 2024-01-21

https://pythonhub.dev/digest/2024-01-21/

pythonhub.dev

Python Hub Weekly Digest for 2024-01-21

221 views18:15

PythonHub

Eschewing black box API calls

https://rednafi.com/misc/eschewing_black_box_api_calls/

Redowan's Reflections

Eschewing black box API calls

I love dynamically typed languages as much as the next person. They let us make ergonomic
API calls like this:
import httpx

# Sync call for simplicity
r = httpx.get("https://dummyjson.com/products/1").json()
print(r["id"], r["title"], r["description"])
or…

199 views21:15

PythonHub

cumulo-autumn / StreamDiffusion

StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation

https://github.com/cumulo-autumn/StreamDiffusion

GitHub

GitHub - cumulo-autumn/StreamDiffusion: StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation

StreamDiffusion: A Pipeline-Level Solution for Real-Time Interactive Generation - cumulo-autumn/StreamDiffusion

187 views00:15

PythonHub

UIs with Python – Use PyQt5 to Create a Music Player

Learn how to create UIs with Python by creating a Modern Music Player with the PyQt5 framework. Some of the features of the app are: Beautiful and modern user interface, Playlists and favorite songs functionalities, Custom context menus for different pages and Background slideshow for every song.

https://www.youtube.com/watch?v=DjutoyfCl2c

YouTube

Python User Interface Project – Use PyQt5 to Code a Music Player

Learn how to create User Interfaces (UIs) with Python by creating a Modern Music Player with the PyQt5 framework. Some of the features of the app are:
- Beautiful and modern user interface
- Playlists and favourite songs functionalities
- Custom context menus…

165 views03:15

PythonHub

Introduction to Polars

The article provides an overview of the Polars DataFrame library, highlighting its goal to offer a lightning-fast DataFrame library that optimizes queries, handles large datasets, and maintains a consistent and predictable API. It compares Polars to other solutions and introduces its design choices, making it a compelling option for high-performance data manipulation and analysis in Python.

https://pbpython.com/polars-intro.html

Pbpython

Introduction to Polars

Introduction to polars.

173 views06:15

About

Blog

Apps

Platform