Generics and Typeclasses in Knuckledragger

This blog post explores implementing typeclasses and overloading in Knuckledragger, a Python-based proof assistant using Z3. It discusses managing abstraction layers between Python and Z3 expressions using SortDispatch and dataclasses.

https://www.philipzucker.com/knuckle_typeclass/

Wan2.1

Open and Advanced Large-Scale Video Generative Models.

https://github.com/Wan-Video/Wan2.1

Intro to Machine Learning featuring Generative AI

The course starts with the fundamentals, covering what machine learning is, how it differs from traditional approaches, and where it’s used. It then dives deeper into the mechanics, exploring different models, algorithms, and training processes. Next, it introduces Generative AI, explaining how it creates new content, before wrapping up with the architecture of AI systems and how to desi...

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

A smart and flexible string joining library for Python developers.

SmartJoiner is a Python library for advanced string joining, featuring dynamic separators, conditional joins, localized formatting, and smart text manipulation.

https://pypi.org/project/smartjoiner/

sinaptik-ai / pandas-ai

Chat with your database or your datalake (SQL, CSV, parquet). PandasAI makes data analysis conversational using LLMs and RAG.

https://github.com/sinaptik-ai/pandas-ai

Search-R1

An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL.

https://github.com/PeterGriffinJin/Search-R1

Sphinx documentation template

The template for creating a modern Sphinx documentation. Write in Markdown or reStructuredText, translate to multiple languages, boost with popular extensions, and enjoy automatic live reload.

https://github.com/documatt/sphinx-doc-template

smallpond

A lightweight data processing framework built on DuckDB and 3FS.

https://github.com/deepseek-ai/smallpond

PRevent

Prevent merging of malicious code in pull requests.

https://github.com/apiiro/PRevent

Automating and Responding to Sentiment Analysis with Diffbot's Knowledge Graph

This article demonstrates how to use Diffbot's Knowledge Graph API to automate sentiment analysis of news articles, specifically targeting negative mentions of a product (Xbox). It outlines the process of designing a DQL query, writing Python code to fetch results, and automating the entire workflow using Pipedream to receive weekly email reports.

https://www.raymondcamden.com/2025/03/10/automating-and-responding-to-sentiment-analysis-with-diffbots-knowledge-graph

Building Google Docs with Python, JavaScript, CKEditor, Google Login, and more.

Learn how to build a Google Docs-like platform with real-time collaboration, modern authentication using Google OAuth, and rich text editing via CKEditor. It covers production-ready configurations, database setup, and secure user management, emphasizing a balance between a stable backend and a cutting-edge frontend.

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

dapr-agents

Build autonomous, resilient and observable AI agents with built-in workflow orchestration, security, statefulness and telemetry.

https://github.com/dapr/dapr-agents

FlowDec

An neural full-band audio codec for general audio sampled at 48 kHz with 7.5 kps or 4.5 kbps.

https://github.com/facebookresearch/flowdec

Using Python to Measure Immigration Trends

This post uses Python and the American Community Survey (ACS) data to analyze immigration trends in Great Neck, NY, revealing a shift from Iranian to Chinese immigrants and a significant increase in the "Asian alone" population between 2009 and 2023. The author provides code for others to analyze immigration in their own hometowns.

https://arilamstein.com/blog/2025/03/04/using-python-to-measure-immigration-trends/

jixiaozhong / Sonic

Official implementation of "Sonic: Shifting Focus to Global Audio Perception in Portrait Animation"

https://github.com/jixiaozhong/Sonic