Implement a reasoning LLM in PyTorch from scratch, step by step

threejs 教程

AI Vtuber是一个由 【ChatterBot/ChatGPT/claude/langchain/chatglm/text-gen-webui/闻达/千问/kimi/ollama】 驱动的虚拟主播【Live2D/UE/xuniren】，可以在 【Bilibili/抖音/快手/微信视频号/拼多多/斗鱼/YouTube/twitch/TikTok】 直播中与观众实时互动 或 直接在本地进行聊…

verl: Volcano Engine Reinforcement Learning for LLMs

21 Lessons, Get Started Building with Generative AI

Profiling and optimizing the performance of Python's cyclic garbage collector in deep learning model training

Tools for monitoring NVIDIA GPUs on Linux

The official repo of Pai-Megatron-Patch for LLM & VLM large scale training developed by Alibaba Cloud.

Flash Artifact for SIGCOMM22

First-ever high-performance thread-safe BDD library

翻墙-科学上网

Implementation of multi-core (binary) decision diagrams

A free, open-source Java library for automata, graphs, and transition systems

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

P4-NetFPGA wiki

Sample project demonstrating how to use eBPF to encap/decap packets with an MPLS label.

A P4 load balancer able to distribute the traffic on real-time server metrics, at line rate.

Janus: A risk-based planner for data-center networks

Shadowsocks server Docker image, A secure socks5 proxy, designed to protect your Internet traffic.

Captive portal implementation on OpenDaylight

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

This is a mininet custom topology that implements the Fattree Topolology.

Mininet extension to make experimenting with IP networks easy

Implementation of Netplumber with Ryu and OpenFlow 1.3