html-to-markdown

A modern, fully typed Python library for converting HTML to Markdown.

https://github.com/Goldziher/html-to-markdown

aiosqlitepool

A resilient, high-performance asynchronous connection pool layer for SQLite, designed for efficient and scalable database operations.

https://github.com/slaily/aiosqlitepool

KubeDiagrams

Generate Kubernetes architecture diagrams from Kubernetes manifest files, kustomization files, Helm charts, helmfiles, and actual cluster state

https://github.com/philippemerle/KubeDiagrams

Inheritance over composition, sometimes

Last time, we built a hybrid concurrent.futures executor using inheritance. Today, we're building it again (twice!) using composition and functions only, to figure out which way is better and why.

https://death.andgravity.com/over-composition

BrowserOS

BrowserOS is an open-source agentic web browser.

https://github.com/browseros-ai/BrowserOS

Biomni

A general-purpose biomedical AI agent.

https://github.com/snap-stanford/Biomni

pictex

A powerful Python library to create beautifully styled text images with a simple, fluent API.

https://github.com/francozanardi/pictex

Using Lean like an External SMT Solver from Python

The author demonstrates using Lean as an external SMT solver by translating proof goals into SMT queries and reconstructing the results back into valid Lean proofs. He builds a lightweight Python workflow that integrates Lean and SMT solvers seamlessly, enabling automated, proof-generating tactics within Lean.

https://www.philipzucker.com/lean_smt/

Building Autonomous Systems: A Guide to Agentic AI Workflows

A complete guide to building autonomous systems with agentic AI workflows—covering core concepts, tools, and real-world applications.

https://www.digitalocean.com/community/conceptual-articles/build-autonomous-systems-agentic-ai