Explore live open-source projects and AI models.

:octocat: A curated list of various topics related to development for the open source community⚡️

A powerful CLI tool for processing videos and generating step-by-step guides using AI. This tool can handle both local video files and YouTube videos, extracting key frames and generating detailed guides using OpenAI's compatible LLM API.

Are you dreaming of a career in tech but unsure where to start? Or perhaps you’re a seasoned professional looking to pivot into a new field like AI, cybersecurity, or blockchain? Today, I’m excited to share a passion project I’ve been working on: the Tech Career Roadmaps Repository, a public GitH... Read more

Hands-on LangChain and LangGraph study guide covering RAG, LangGraph workflows, multi-agent systems, and advanced agentic AI patterns, with HTML ebook chapters and runnable Python examples.

FPGA hardware design guide based on real-world projects. Covers SystemVerilog, Vivado workflow, timing closure, CDC handling, and Xilinx 7 series device selection. Perfect for AI coding assistants and FPGA developers.

This guide provides step-by-step instructions to set up and run AI models locally on a Raspberry Pi 4B. It covers OS installation using Raspberry Pi Imager, setting up tools like Ollama, Conda, and OpenWebUI, and optimizing your Raspberry Pi for AI workloads. Perfect for AI enthusiasts exploring ... Read more

一款企业级内部golang微服务、单体基础架构技能规范，指导 AI 编写健壮代码。An enterprise-grade internal Go monolithic and microservice architecture skill specification, designed to guide AI in writing robust code.

In this guide, we'll explore how to run AI Models on your own machine (with an RTX 4090 or the upcoming RTX 5090), and how that compares to using Google Colab's powerful A100 GPUs.

Spec-driven development for developers. Spec4 AI works with you as a partner and advisor to guide you through a pipeline of six specialized AI agents that turn a rough idea — or an existing codebase — into a complete, phase-by-phase implementation spec, UI mock, and deployment plan ready for your... Read more

Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven proof search across PAC, online, and Gold paradigms. The infrastructure forced by the types produced or... Read more