Verified Rust for low-level systems code

Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

Production-grade client-side tracing, profiling, and analysis for complex software systems.

E-ink IBM XT clone with solar power, ultra low power consumption, and ultra long battery life.

极快的B站直播录制、自动切片、自动渲染弹幕以及字幕并投稿至B站，综合多种模态模型，兼容超低配置机器。Extremely fast live recording, automatic slicing, rendering, uploading and Integrating MLLMs. Compatible with low configurations machines.

📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

bluetooth mesh chat, IRC vibes

WeScale is a Modern MySQL proxy that supports read-write-split, read-after-write-consistency, load balancing and OnlineDDL.

verl-agent is an extension of veRL, designed for training LLM/VLM agents via RL. verl-agent is also the official code for paper "Group-in-Group Policy Optimization for LLM Agent Training"

The official GitHub page for the survey paper "A Survey of Large Language Models".

BharatMLStack is an open-source, end-to-end machine learning infrastructure stack built at Meesho to support real-time and batch ML workloads at Bharat scale

Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.

一款提示词优化器，助力于编写高质量的提示词

This is a repo with links to everything you'd ever want to learn about data engineering

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer

📚 从零开始的大语言模型原理与实践教程

A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.

《开源大模型食用指南》针对中国宝宝量身打造的基于Linux环境快速微调（全参数/Lora）、部署国内外开源大模型（LLM）/多模态大模型（MLLM）教程

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. Powered by Vercel AI SDK! Search with models like xAI's Grok 3.

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

🧡 Follow everything in one place

Building a modern alternative to Salesforce, powered by the community.

An operating system for ESP32 devices.

Temporal Helm charts

A modern text editor for the terminal written in Rust

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering